Sven Linker

Sven Linker

Lancaster University - Lancaster / United Kingdom
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4743906
person_outline Sven Linker's MOST POPULAR ARTICLES
1-) Proving safety of traffic manoeuvres on country roads Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
2-) Synthesizing and verifying controllers for multi-lane traffic maneuvers Formal Aspects of Computing, 1-18, 2017
3-) Analysing spatial properties on neighbourhood spaces arXiv preprint arXiv:2007.01266, 2020
4-) Investigating parametric influence on discrete synchronisation protocols using quantitative model checking Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
5-) Finite models for a spatial logic with discrete and topological path operators Leibniz International Proceedings in Informatics, LIPIcs 202, 72, 2021