A Generated Property Specification Language for Resilient Multirobot Missions.
Swaib DraguleBart MeyersPatrizio PelliccionePublished in: SERENE (2017)
Keyphrases
- specification language
- multi robot
- search and rescue
- description language
- formal specification
- path planning
- programming language
- multiple robots
- multi robot exploration
- robot teams
- multi robot systems
- mobile robot
- software environment
- robotic systems
- web services
- distributed architecture
- data quality
- event detection
- requirements specification
- formation control
- search space