QUASY: quantitative synthesis tool

DOI10.1007/978-3-642-19835-9_24MaRDI QIDQ3000655zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Barbara Jobstmann, Rohit Singh, 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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

• Quantitative vs. weighted automata
• Quantitative verification and strategy synthesis for stochastic games
• Measuring and synthesizing systems in probabilistic environments
• Synthesis of compact strategies for coordination programs
• \textsc{Uppaal Coshy}: automatic synthesis of compact shields for hybrid systems

Describes a project that uses

Uses Software

• Scala
• QUASY
• PRISM

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)