SAT-Based Minimization of Deterministic $$\omega $$ -Automata

DOI10.1007/978-3-662-48899-7_6zbMath1471.03041OpenAlexW2252455711MaRDI QIDQ3460042

Alexandre Duret-Lutz, Souheib Baarir

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Minimization of Visibly Pushdown Automata Using Partial Max-SAT ⋮ From Spot 2.0 to Spot 2.10: What’s New?

This page was built for publication: SAT-Based Minimization of Deterministic $$\omega $$ -Automata