7 citations · 11 across the 3 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2018★ 3 cited
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
Mohammed Foughali, Félix Ingrand, Anthony Mallet
GenoM is an approach to develop robotic software components, which can be controlled, and assembled to build complex applications. Its latest version GenoM3, provides a template me…
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…