Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.
Mario GleirscherSimon FosterYakoub NemouchiPublished in: SEFM (2019)
Keyphrases
- autonomous robots
- mobile robot
- robot navigation
- goal directed
- robot control
- robotic systems
- motion control
- autonomous mobile robot
- multi robot systems
- unknown environments
- legal argument
- formal methods
- artificial intelligence
- case base
- temporal evolution
- information systems
- computer vision
- genetic algorithm
- dynamic aspects
- machine learning