[HTML][HTML] Deliberation for autonomous robots: A survey

F Ingrand, M Ghallab - Artificial Intelligence, 2017 - Elsevier
Autonomous robots facing a diversity of open environments and performing a variety of tasks
and interactions need explicit deliberation in order to fulfill their missions. Deliberation is …

Planning and execution with flexible timelines: a formal account

M Cialdea Mayer, A Orlandini, A Umbrico - Acta Informatica, 2016 - Springer
Planning for real world problems with explicit temporal constraints is a challenging problem.
Among several approaches, the use of flexible timelines in Planning and Scheduling has …

Fchain: Toward black-box online fault localization for cloud systems

H Nguyen, Z Shen, Y Tan, X Gu - 2013 IEEE 33rd International …, 2013 - ieeexplore.ieee.org
Distributed applications running inside cloud systems are prone to performance anomalies
due to various reasons such as resource contentions, software bugs, and hardware failures …

Recent trends in formal validation and verification of autonomous robots software

F Ingrand - 2019 Third IEEE International Conference on …, 2019 - ieeexplore.ieee.org
The consequences of autonomous systems software failures can be potentially dramatic.
There is no need to darken the picture, but still, it seems unlikely that people, insurance …

Designing autonomous robots

S Bensalem, M Gallien, F Ingrand… - IEEE Robotics & …, 2009 - ieeexplore.ieee.org
Autonomous robots are complex systems that require the interaction or cooperation of
numerous heterogeneous software components. Nowadays, robots are getting closer to …

Verification and validation meet planning and scheduling

S Bensalem, K Havelund, A Orlandini - International Journal on Software …, 2014 - Springer
A planning and scheduling (P&S) system takes as input a domain model and a goal, and
produces a plan of actions to be executed, which will achieve the goal. A P&S system …

Model checking real-time properties on the functional layer of autonomous robots

M Foughali, B Berthomieu, S Dal Zilio, F Ingrand… - Formal Methods and …, 2016 - Springer
Software is an essential part of robotic systems. As robots and autonomous systems are
more and more deployed in human environments, we need to use elaborate validation and …

Validation and verification issues in a timeline-based planning system

A Cesta, A Finzi, S Fratini, A Orlandini… - The Knowledge …, 2010 - cambridge.org
To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the
real world, it is of great importance to both (a) broaden direct access to the technology for the …

Analyzing flexible timeline-based plans

A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci - ECAI 2010, 2010 - ebooks.iospress.nl
Timeline-based planners have been shown quite successful in addressing real world
problems. Nevertheless they are considered as a niche technology in AI P&S research as an …

A comparison of modeling approaches for planning in cyber physical production systems

A Anis, W Schäfer, O Niggemann - Proceedings of the 2014 …, 2014 - ieeexplore.ieee.org
The problems of planning production processes in Cyber Physical Production Systems
(CPPS) require information about eg, machines, products, and time. These information can …