Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.
Published in: FVAV@iFM (2017)
Keyphrases
- formal verification
- autonomous vehicles
- international conference
- acm sigkdd
- acm sigmod
- model checking
- path planning
- naacl hlt
- structured environments
- international workshop
- obstacle avoidance
- cyber security and information intelligence
- model checker
- automated verification
- workshop on artificial intelligence
- knowledge discovery and data mining
- computational intelligence
- robot control
- bounded model checking
- symbolic model checking
- human computation
- route planning
- student research workshop
- temporal logic
- mobile robot
- multiagent systems
- real time
- selected papers
- international symposium
- complex environments
- autonomous agents
- expert systems