학술논문
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Document Type
Conference Paper
Author
Source
In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12971 LNCS:222-228)
Subject
Language
English
ISSN
16113349
03029743
03029743