QUASY: quantitative synthesis tool

DOI10.1007/978-3-642-19835-9_24zbMATH Open1316.68071OpenAlexW2161747241MaRDI QIDQ3000655FDOQ3000655

Barbara Jobstmann, Rohit Singh, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 19 May 2011

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_24

Recommendations

• Better Quality in Synthesis through Quantitative Objectives
• Measuring and synthesizing systems in probabilistic environments
• High-Quality Synthesis Against Stochastic Environments
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
• Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) 2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Cites Work

• The complexity of mean payoff games on graphs
• Synthesizing robust systems
• Better Quality in Synthesis through Quantitative Objectives
• Handbook of Markov decision processes. Methods and applications
• Using strategy improvement to stay alive

Cited In (4)

• Measuring and Synthesizing Systems in Probabilistic Environments
• Quantitative verification and strategy synthesis for stochastic games
• Quantitative vs. weighted automata
• Synthesis of compact strategies for coordination programs

Uses Software

• PRISM
• Scala
• QUASY

This page was built for publication: QUASY: quantitative synthesis tool

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