Formal requirement and architecture specifications of a multi-agent robotic system.
Nadeem AkhtarYann Le GuyadecFlávio OquendoPublished in: CoRR (2015)
Keyphrases
- robotic systems
- control architecture
- multi agent
- reactive systems
- formal specification
- vision system
- mobile robot
- multi agent architecture
- formal model
- agent oriented
- multi robot
- operational semantics
- reinforcement learning
- cooperative
- autonomous robots
- cognitive architecture
- real time
- robotic manipulator
- autonomous agents
- requirements specification
- management system
- multi agent systems
- robot behavior
- software architecture
- formal language
- object manipulation
- robotic tasks
- formal methods
- information processing
- computer vision