Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.

Davide Basile Maurice H. ter Beek Axel Legay

Published in: FORTE (2020)

Keyphrases

autonomous driving
grand challenge
functional programs
controller synthesis
stereo vision
computer vision
model checking
three dimensional
control system