Login / Signup
Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle.
Konstantinos Kapellos
Muriel Jourdan
Bernard Espiau
Sofiane Abdou
Published in:
ISER (1995)
Keyphrases
</>
formal verification
autonomous vehicles
model checking
model checker
bounded model checking
automated verification
symbolic model checking
path planning
obstacle avoidance
robot control
fuzzy logic
augmented reality
temporal logic
unmanned aerial vehicles