|
|
|
|
|
|
|
|
|
|
|
 |
|
 |
|
Publications - Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata
|
|
 |
|
 |
|
Reference:
Salomon Sickert. Converting linear temporal logic to deterministic (generalized) rabin automata. Archive of Formal Proofs, September 2015.
Suggested BibTeX entry:
@article{LTL_to_DRA-AFP,
author = {Salomon Sickert},
journal = {Archive of Formal Proofs},
month = {September},
title = {Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata},
year = {2015}
}
|
 |
|
|
|
|
|
|
|
|
|
Contact
