Login / Signup
Franziska Henze
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
2025
2016
Top Topics
2025
2016
Automatically Acquiring
2025
2016
Model Checking
2025
2016
Planning Domains
2025
2016
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)