50 citations · 98 across the 4 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.AI2013★ 50 cited
Towards Combining HTN Planning and Geometric Task Planning
Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi +1
In this paper we present an interface between a symbolic planner and a geometric task planner, which is different to a standard trajectory planner in that the former is able to per…