LTL to Deterministic Emerson-Lei Automata

Publikation: Beitrag zu Konferenzen › Paper › Beigetragen

Beitragende

Details

OriginalspracheItalienisch
Seiten180-194
Seitenumfang15
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusNein

Externe IDs

Scopus 85030101810

Schlagworte

Schlagwörter

  • Parametric Markov Chains, PCTL Complexity, Fraction-free Gaussian Elimination