Simulation algorithms for symbolic automata

DOI10.1007/978-3-030-01090-4_7zbMath1517.68196arXiv1807.08487OpenAlexW2893961500MaRDI QIDQ6109584

Margus Veanes, Tomáš Vojnar, Lukáš Holík, Juraj Síč, Ondřej Lengál

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)