8 citations · 10 across the 4 of their papers we have counts for
4 papers
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Multi-Robot Task Planning to Secure Human Group Progress
Roland Godet, Charles Lesire, Arthur Bit-Monnot
Recent years have seen an increasing number of deployment of fleets of autonomous vehicles. As the problem scales up, in terms of autonomous vehicles number and complexity of their…
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Baptiste Pelletier, Charles Lesire, David Doose +2
The need for high-level autonomy and robustness of autonomous systems for missions in dynamic and remote environment has pushed developers to come up with new software architecture…
Open Loop Execution of Tree-Search Algorithms, extended version
Erwan Lecarpentier, Guillaume Infantes, Charles Lesire +1
In the context of tree-search stochastic planning algorithms where a generative model is available, we consider on-line planning algorithms building trees in order to recommend an…