Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network
- 26 June 2010
- conference paper
- conference paper
- Published by American Institute of Aeronautics and Astronautics (AIAA) in AIAA Guidance, Navigation, and Control Conference
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Decentralized Cooperative Aerial Surveillance Using Fixed-Wing Miniature UAVsProceedings of the IEEE, 2006
- An Analysis of Sketching Skill and Its Role in Early Stage Engineering DesignJournal of Mechanical Design, 2006
- Verifying Large Numbers of Cooperating Adaptive AgentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Evolving behaviors for a swarm of unmanned air vehiclesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Autonomy software verification and validation might not be as hard as it seemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Verifying a gigabit ethernet switch using SMVPublished by Association for Computing Machinery (ACM) ,2004
- Multiple Aerial Vehicle Formation Using Swarm IntelligencePublished by American Institute of Aeronautics and Astronautics (AIAA) ,2003
- Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMVFormal Aspects of Computing, 2003
- Verification and validation of autonomous systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986