Seguir
Martin Hilscher
Martin Hilscher
Dirección de correo verificada de informatik.uni-oldenburg.de - Página principal
Título
Citado por
Citado por
Año
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
882011
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
562013
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
422015
An abstract model for proving safety of autonomous urban traffic
M Hilscher, M Schwammberger
International Colloquium on Theoretical Aspects of Computing, 274-292, 2016
292016
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing 29, 583-600, 2017
152017
Theories of Programming and Formal Methods
M Hilscher, S Linker, ER Olderog
Springer, 2013
72013
Synthesizing controllers for multi-lane traffic maneuvers
G Bochmann, M Hilscher, S Linker, ER Olderog
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
52015
Projektgruppe P-UMLaut
C Eichner, E Frost, M Hilscher, A Kaiser, R Meyer, M Ross, C Schnars, ...
Endbericht, 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
of SFB/TR 14 AVACS
G Bochmann, M Hilscher, S Linker, ER Olderog
2015
of SFB/TR 14 AVACS
S Linker, M Hilscher
2014
Proof theory of a multi-lane spatial logic
S Linker, M Hilscher
Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013
2013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–14