Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System.
Nadeem AkhtarMalik Muhammad Saad MissenPublished in: CoRR (2016)
Keyphrases
- formal specification
- robotic systems
- model checking
- multi agent
- concurrent systems
- formal methods
- model checker
- specification language
- specification languages
- mobile robot
- temporal logic
- protocol specification
- formal verification
- process algebra
- vision system
- object oriented design
- autonomous robots
- grid workflow
- control architecture
- multi agent systems
- asynchronous circuits
- reinforcement learning
- cognitive architecture
- bounded model checking
- robotic manipulator
- database
- multiagent systems
- cooperative
- reverse engineering
- swarm robotics
- object oriented
- knowledge base
- software development