Symbolic register automata

DOI10.1007/978-3-030-25540-4_1arXiv1811.06968MaRDI QIDQ6154571

Tiago A. E. Ferreira, Alexandra Silva, Matteo Sammartino, Loris D'Antoni

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.06968

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Reactive synthesis from visibly register pushdown automata ⋮ A taxonomy and reductions for common register automata formalisms