krooken/RCV-Synthesis: RCV-Synthesis v1.0.1

Complimentary models for the article 'Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle' by Jonas Krook, Roozbeh Kianfar, and Martin Fabian.

This repository contains Supremica and TuLiP models for synthesiszing a controller for an automated vehicle.

This work is a continuation of an earlier research project named 'Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle'.

The code can be found in a repository on GitHub.