Automata vs linear-programming discounted-sum inclusion

DOI10.1007/978-3-319-96142-2_9MaRDI QIDQ6039397zbMATH OpenFDO

Authors Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Publication date 5 May 2023

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-319-96142-2_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Linear programming (90C05) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Quantitative Languages
• Quantitative languages
• Comparator automata in quantitative verification
• Quantitative fair simulation games
• Determinizing discounted-sum automata

Cited in

(3)

• Discounted-sum automata with multiple discount factors
• Safety and co-safety comparator automata for discounted-sum inclusion
• On the comparison of discounted-sum automata with multiple discount factors

This page was built for publication: Automata vs linear-programming discounted-sum inclusion

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