Martin Hilscher
Martin Hilscher
Verified email at informatik.uni-oldenburg.de - Homepage
TitleCited byYear
An abstract model for proving safety of multi-lane traffic manoeuvres
M Hilscher, S Linker, ER Olderog, AP Ravn
International Conference on Formal Engineering Methods, 404-419, 2011
492011
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
322015
Proof theory of a multi-lane spatial logic
S Linker, M Hilscher
International Colloquium on Theoretical Aspects of Computing, 231-248, 2013
322013
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods, 196-212, 2013
292013
An abstract model for proving safety of autonomous urban traffic
M Hilscher, M Schwammberger
International Colloquium on Theoretical Aspects of Computing, 274-292, 2016
132016
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing 29 (4), 583-600, 2017
52017
Synthesizing controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
32015
Projektgruppe P-UMLaut
C Eichner, E Frost, M Hilscher, A Kaiser, R Meyer, M Ross, C Schnars, ...
Endbericht, Carl von Ossietzky Universität Oldenburg, 2005
12005
Provably Correct Systems
B Finkbeiner, ER Olderog, G Bochmann, M Hilscher, S Linker, ...
Information and Computation 29 (Part 2), 583-600, 2017
2017
Proof Theory of a Multi-Lane Spatial Logic
M Hilscher, S Linker
Logical Methods in Computer Science 11, 2015
2015
of SFB/TR 14 AVACS
S Linker, M Hilscher
2014
of SFB/TR 14 AVACS
M Hilscher, S Linker, ER Olderog, AP Ravn
2011
ABuS–Entwicklung eines automatischen Blokus-Spielers
K Heidmann, E Best, M Hilscher
2009
The system can't perform the operation now. Try again later.
Articles 1–13