/wasp-des-rcv

Complimentary PROMELA and Stateflow models for the article named 'Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle' by Jonas Krook, Lars Svensson, Yuchao Li, Lei Feng, and Martin Fabian.

Primary LanguageMATLABGNU General Public License v3.0GPL-3.0

No issues in this repository yet.