TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Stefan Pranger*, Bettina Könighofer, Lukas Posch, Roderick Bloem

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Search results