Safety and co-safety comparator automata for discounted-sum inclusion

DOI10.1007/978-3-030-25540-4_4OpenAlexW2962398095MaRDI QIDQ6154575FDOQ6154575

Authors: Suguman Bansal, Moshe Y. Vardi 

Publication date: 16 February 2024

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

Full work available at URL: https://doi.org/10.1007/978-3-030-25540-4_4

Recommendations

• Automata vs linear-programming discounted-sum inclusion
• scientific article; zbMATH DE number 7577577
• Comparator automata in quantitative verification
• Exact and approximate determinization of discounted-sum automata
• Determinizing discounted-sum automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Safety and co-safety comparator automata for discounted-sum inclusion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6154575)