Login / Signup
Stefan Küperkoch
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checking
Automated Verification
Grand Challenge
Deterministic Finite Automaton
Top Venues
TACAS (2)
</>
Publications
</>
Lukas König
,
Christian Heinzemann
,
Alberto Griggio
,
Michaela Klauck
,
Alessandro Cimatti
,
Franziska Henze
,
Stefano Tonetta
,
Stefan Küperkoch
,
Dennis Fassbender
,
Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
TACAS (2)
(2024)