Franziska Henze
Orcid: 0000-0003-1398-9287
According to our database1,
Franziska Henze
authored at least 10 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
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 OtherLinks
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
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
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020