TITLE     : Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
AUTHOR(S) : Basile D, Ter Beek Mh, Legay A
TYPE      : Conference article
YEAR      : 2020
CODE      : 423824

*** DO NOT EDIT THIS FILE ***