Formal modelling and verification of multi-robot systems specified with temporal logic

MaRDI QIDQ3161546zbMATH OpenFDO

Authors Gopinadh Sirigineedi, Suresh Jayaraman, Antonios Tsourdos, Rafał Żbikowski, Brian White

Publication date 15 October 2010

Full work available at URL http://nonlinearstudies.com/index.php/mesa/article/view/400

zbMATH Keywords

formal specificationKripke modellingmodel checkingmulti-robots

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Recommendations

• Kripke modelling and verification of temporal specifications of a multiple UAV system
• A study of Kripke modeling of a multirobot syste for cooperative control
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• A framework for multi-robot motion planning from temporal logic specifications
• Deductive verification of simple foraging robotic behaviours

Cited in

(6)

• Safety verification of trajectory planning for multiple robots
• Deductive verification of simple foraging robotic behaviours
• Kripke modelling and verification of temporal specifications of a multiple UAV system
• A framework for multi-robot motion planning from temporal logic specifications
• Modelling and Verification of Timed Robotic Controllers
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

This page was built for publication: Formal modelling and verification of multi-robot systems specified with temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3161546)