LTL to Deterministic Emerson-Lei Automata

Research output: Contribution to conferences › Paper › Contributed

Contributors

Details

Original languageItalian
Pages180-194
Number of pages15
Publication statusPublished - 2017
Peer-reviewedNo

External IDs

Scopus 85030101810

Keywords

Keywords

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