figshare
Browse

Control Envelope Synthesis via Angelic Refinements (CESAR): Artifact

Download all (27.64 kB)
Version 2 2024-04-04, 22:53
Version 1 2024-01-02, 14:50
software
posted on 2024-04-04, 22:53 authored by Aditi KabraAditi Kabra, Jonathan LaurentJonathan Laurent, Stefan MitschStefan Mitsch, Andre PlatzerAndre Platzer

The artifact provides a benchmark suite for symbolic control envelope synthesis. It also provides scripts to build and run an implementation of the CESAR (Control Envelope Synthesis via Angelic Refinements) algorithm. This algorithm performs control envelope synthesis by filling in holes in a template. It is implemented as a tool in the theorem prover KeYmaera X.

This artifact is meant to run on the TACAS 2023 Virtual Machine (https://zenodo.org/records/7113223).

History

Usage metrics

    Categories

    Keywords

    Cyber phisical systemsProgram SynthesDifferential Game Logic

    Licence

    GPL 2.0+

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC