Franziska Henze

Orcid: 0000-0003-1398-9287

According to our database1, Franziska Henze authored at least 10 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
4
5
1
1
1
1
1
2
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023

Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023

Identifying Admissible Uncertainty Bounds for the Input of Planning Algorithms.
IEEE Trans. Intell. Veh., April, 2023

2022
How Can Automated Vehicles Explain Their Driving Decisions? Generating Clarifying Summaries Automatically.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021
Developers' Information Needs during Test Drives with Automated Vehicles in Real Traffic: A Focus Group Study.
Proceedings of the AutomotiveUI '21: 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Leeds, United Kingdom, September 9-14, 2021, 2021

2020
Sensitivity Analysis of a Planning Algorithm Considering Uncertainties.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020


  Loading...