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

Davide Basile, Maurice H. ter Beek, Axel Legay

Browse the full FORTE paper archive.