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

DOI10.1007/978-3-030-25540-4_4MaRDI QIDQ6154575zbMATH OpenOpenAlexFDO

Authors Suguman Bansal, Moshe Y. Vardi

Publication date 16 February 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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

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)