Login / Signup
Franziska Henze
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
Top Topics
Automatically Acquiring
Model Checking
Planning Domains
Sensitivity Analysis
Top Venues
IV
IEEE Trans. Intell. Veh.
TACAS (2)
AutomotiveUI (adjunct)
</>
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)
Franziska Henze
,
Dennis Faßbender
,
Christoph Stiller
Identifying Admissible Uncertainty Bounds for the Input of Planning Algorithms.
IEEE Trans. Intell. Veh.
8 (4) (2023)
Franziska Henze
,
Dennis Faßbender
,
Christoph Stiller
How Can Automated Vehicles Explain Their Driving Decisions? Generating Clarifying Summaries Automatically.
IV
(2022)
Franziska Henze
,
Natalie Magdalena Stasinski
,
Dennis Fassbender
,
Christoph Stiller
Developers' Information Needs during Test Drives with Automated Vehicles in Real Traffic: A Focus Group Study.
AutomotiveUI (adjunct)
(2021)
Franziska Henze
,
Dennis Faßbender
,
Christoph Stiller
Sensitivity Analysis of a Planning Algorithm Considering Uncertainties.
IV
(2020)