Work

Supplementary Material for Paper "Formally Verifying a Behavior Planner: Balancing Efficiency and Precision"

Year: 2025

Type: supplementary-materials

Abstract: Contains the full experimental data accompanying the paper "Formally Verifying a Behavior Planner: Balancing Efficiency and Precision" which has been submitted to the IEEE Transactions on Intelligent Vehicles. Each zip file belongs to one of the main sets of experiments. To reproduce some of the results, check out our award-winning artifact. If you want to reproduce all experiments, see the sources or contribute to our research, go to our open source project or contact [email protected].

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15023298

Authors: Koenig, Lukas, Henze, Franziska, Heinzemann, Christian, Klauck, Michaela, Griggio, Alberto, Tonetta, Stefano, Cimatti, Alessandro

Institutions: Robert Bosch (Germany), Centre de Coopération Internationale en Recherche Agronomique pour le Développement, Fondazione Bruno Kessler

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6930664872

Cites:

Cited by:

Related to: