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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Basile, Davide; ter Beek, Maurice H.; Legay, Axel

Journal title: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030500856

Journal number: 6

Journal publisher: Springer Nature

Published year: 2021

Published pages: 3-21

DOI identifier: 10.1007/978-3-030-50086-3_1

ISBN: 978-3-030-50086-3