cfaed Publications
LTL to Deterministic Emerson-Lei Automata
Reference
David Müller andSalomon Sickert, "LTL to Deterministic Emerson-Lei Automata", In Proceeding: Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2017.
Bibtex
@inproceedings{MS17,
author = {David M{\"u}ller and
Salomon Sickert},
title = {LTL to Deterministic Emerson-Lei Automata},
booktitle = {Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)},
year = {2017},
note = {Accepted for publication},
}
author = {David M{\"u}ller and
Salomon Sickert},
title = {LTL to Deterministic Emerson-Lei Automata},
booktitle = {Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)},
year = {2017},
note = {Accepted for publication},
}
Downloads
No Downloads available for this publication
Related Paths
Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1546