From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating 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
10 Oct 2019
Description
Speaker: Simon JantschEvent: International Symposium on Formal Methods 2019
Location: Porto
Country: Italien
Duration of event: 10.10.2019-10.10.2019
Conference
| Title | International Symposium on Formal Methods 2019 |
|---|---|
| Abbreviated title | FM 2019 |
| Conference number | |
| Duration | 7 - 11 October 2019 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Porto |
| Country | Italy |