In: Intelligent Transport Systems - From Research and Development to the Market Uptake, First International Conference, INTSYS 2017 Hyvinkää, Finland, November 29-30, 2017 Proceedings Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (222) Springer, Cham (Svájc), pp. 252-262. ISSN 1867-8211
Detecting Change in the Urban Road Environment Along a Route Based on Traffic Sign and Crossroad Data
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs