Login / Signup
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study.
Johan Arcile
Jérémy Sobieraj
Hanna Klaudel
Guillaume Hutzler
Published in:
EUMAS/AT (2017)
Keyphrases
</>
model checking
temporal logic
finite state machines
abstract interpretation
formal specification
multi agent
autonomous vehicles
formal verification
dynamic analysis
finite state
automated verification
temporal properties
path planning
cooperative
model checker
linear temporal logic
mathematical model