%0 Conference Proceedings
%T Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
%+ CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa] (CNR | ISTI)
%+ Université Catholique de Louvain = Catholic University of Louvain (UCL)
%A Basile, Davide
%A Beek, Maurice
%A Legay, Axel
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Valletta, Malta
%Y Alexey Gotsman
%Y Ana Sokolova
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-12136
%P 3-21
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50086-3_1
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Moving block railway systems are the next generation signalling systems currently under development as part of the Shift2Rail European initiative, including autonomous driving technologies. In this paper, we model a suitable abstraction of a moving block signalling system with autonomous driving as a stochastic priced timed game. We then synthesise safe and optimal driving strategies for the model by applying advanced techniques that combine statistical model checking with reinforcement learning as provided by Uppaal Stratego. Hence, we show the applicability of Uppaal Stratego in this concrete case study.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03283240/document
%2 https://inria.hal.science/hal-03283240/file/495615_1_En_1_Chapter.pdf
%L hal-03283240
%U https://inria.hal.science/hal-03283240
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-12136