Research output per year
Research output per year
Research output
- 1 Conference paper
Search results
-
2021
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Pranger, S., Könighofer, B., Posch, L. & Bloem, R., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 222-228 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review