Fixing the State Budget: Approximation of Regular Languages with Small DFAs
From MaRDI portal
Publication:5096078
DOI10.1007/978-3-319-68167-2_5zbMath1495.68120OpenAlexW2758563093MaRDI QIDQ5096078
Pierre Ganty, Peter J. Stuckey, Graeme Gange
Publication date: 12 August 2022
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-68167-2_5
Related Items (3)
Certifying DFA bounds for recognition and separation ⋮ Approximate Automata for Omega-Regular Languages ⋮ Certifying inexpressibility
This page was built for publication: Fixing the State Budget: Approximation of Regular Languages with Small DFAs
