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

Stefan Pranger, Bettina Knighofer, Lukas Posch, Roderick Bloem

Browse the full ATVA paper archive.