25 citations · 97 across the 30 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.RO2013★ 7 cited
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Saddek Bensalem, Lavindra de Silva, Félix Ingrand +1
Autonomous robots are complex systems that require the interaction and cooperation between numerous heterogeneous software components. In recent times, robots are being increasingl…
cs.LO2013★ 24 cited
EFSMT: A Logical Framework for Cyber-Physical Systems
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess +1
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonline…