50 citations · 98 across the 4 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2014★ 41 cited
HATP: An HTN Planner for Robotics
Raphaël Lallement, Lavindra de Silva, Rachid Alami
Hierarchical Task Network (HTN) planning is a popular approach that cuts down on the classical planning search space by relying on a given hierarchical library of domain control kn…
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…