7 citations · 21 across the 11 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2021
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Changwen Li, Chih-Hong Cheng, Tiantian Sun +2
ComOpT is an open-source research tool for coverage-driven testing of autonomous driving systems, focusing on planning and control. Starting with (i) a meta-model characterizing di…
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…