Kripke modelling and verification of temporal specifications of a multiple UAV system
DOI10.1007/S10472-011-9270-XzbMATH Open1242.68171OpenAlexW2095002986MaRDI QIDQ434449FDOQ434449
Authors: Gopinadh Sirigineedi, Antonios Tsourdos, Brian White, Rafał Żbikowski 
Publication date: 10 July 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-011-9270-x
Recommendations
- Formal modelling and verification of multi-robot systems specified with temporal logic
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- A study of Kripke modeling of a multirobot syste for cooperative control
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Bounded model checking for deontic interpreted systems
Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- A completeness theorem in modal logic
- Logic in Computer Science
- Title not available (Why is that?)
- On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- Verifying the IEEE 1394 fireWire tree identify protocol with SMV
- A tabu search algorithm for the Min-Max \(k\)-Chinese postman problem
- Automatic support for verification of secure transactions in distributed environment using symbolic model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
Uses Software
This page was built for publication: Kripke modelling and verification of temporal specifications of a multiple UAV system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q434449)
