7 citations · 11 across the 3 of their papers we have counts for
4 papers
Composing Complex and Hybrid AI Solutions
Peter Schüller, João Paolo Costeira, James Crowley +5
Progress in several areas of computer science has been enabled by comfortable and efficient means of experimentation, clear interfaces, and interchangable components, for example u…
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand +1
Temporal planning offers numerous advantages when based on an expressive representation. Timelines have been known to provide the required expressiveness but at the cost of search…
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…
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…