Published in
Springer Verlag, Lecture Notes in Computer Science, p. 300-314
DOI: 10.1007/978-3-319-74781-1_21
Links
Tools
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 