Login / Signup
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
Lucas E. R. Fernandes
Vinicius Custodio
Gleifer V. Alves
Michael Fisher
Published in:
FVAV@iFM (2017)
Keyphrases
</>
formal verification
autonomous vehicles
model checking
rational agents
bounded model checking
symbolic model checking
temporal logic
automated verification
mental states
real time
path planning
model checker
dynamic programming
machine learning
multiagent systems
case based reasoning
artificial intelligence