Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments.
Adina AniculaeseiDaniel ArnsbergerFalk HowarAndreas RauschPublished in: V2CPS@IFM (2016)
Keyphrases
- autonomous systems
- dynamic environments
- safety critical
- formal methods
- safety analysis
- fault tolerant
- autonomous navigation
- model checking
- autonomous agents
- embedded systems
- agent architecture
- mobile robot
- path planning
- formal specification
- support systems
- knowledge based systems
- adaptive systems
- low cost
- software engineering
- belief space
- artificial intelligence
- unmanned aerial vehicles
- information systems