Minimal Witnesses for Probabilistic Timed Automata
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
22 Oct 2020
Description
Speaker: Simon JantschEvent: 18ᵗʰ International Symposium on Automated Technology for Verification (ATVA 2020)
Location: online
Country: (Unbekannt)
Duration of event: 22.10.2020-22.10.2020
Conference
| Title | 18th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Abbreviated title | ATVA 2020 |
| Conference number | 18 |
| Duration | 19 - 23 October 2020 |
| Website | |
| Degree of recognition | International event |
| Location | Online |
| City | Hanoi |
| Country | Viet Nam |