Ensuring drivability of planned motions using formal methods.
Bastian SchürmannDaniel HessJan EilbrechtOlaf StursbergFrank KösterMatthias AlthoffPublished in: ITSC (2017)
Keyphrases
- formal methods
- image sequences
- model checker
- formal specification
- knowledge based systems
- formal analysis
- artificial intelligence
- model checking
- safety critical
- provably correct
- optical flow
- temporal properties
- human motion
- video sequences
- process algebra
- software engineering
- motion model
- reactive systems
- formal specification language
- life cycle
- case study
- machine learning
- development lifecycle
- real world