QUASY: Quantitative Synthesis Tool

DOI10.1007/978-3-642-19835-9_24zbMath1316.68071OpenAlexW2161747241MaRDI QIDQ3000655

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

Mathematics Subject Classification ID

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

Related Items (3)

Quantitative verification and strategy synthesis for stochastic games ⋮ Quantitative vs. weighted automata ⋮ Measuring and Synthesizing Systems in Probabilistic Environments

Uses Software

• PRISM
• Scala
• QUASY

Cites Work

• The complexity of mean payoff games on graphs
• Synthesizing robust systems
• USING STRATEGY IMPROVEMENT TO STAY ALIVE
• Better Quality in Synthesis through Quantitative Objectives
• Handbook of Markov decision processes. Methods and applications

This page was built for publication: QUASY: Quantitative Synthesis Tool