The learnability of symbolic automata

DOI10.1007/978-3-319-96145-3_23zbMath1511.68137OpenAlexW2884635497MaRDI QIDQ6045017

George Argyros, Loris D'Antoni

Publication date: 26 May 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_23

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45)

Related Items (4)

Learning One-Clock Timed Automata ⋮ Improving Symbolic Automata Learning with Concolic Execution ⋮ Inferring Symbolic Automata ⋮ Enhancing active model learning with equivalence checking using simulation relations

This page was built for publication: The learnability of symbolic automata