cfaed Publications

LTL to Deterministic Emerson-Lei Automata

Reference

David Müller and, "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},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1546


Go back to publications list