Gabriel Giurgica, Roxana-Daniela Florescu. A case study for modeling autonomous driving systems. In Lucian-Florentin Barbulescu, editor, 24th International Conference on System Theory, Control and Computing, ICSTCC 2020, Sinaia, Romania, October 8-10, 2020. pages 745-750, IEEE, 2020. [doi]
Abstract is missing.