Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
From MaRDI portal
Publication:5100749
DOI10.1007/978-3-030-51831-8_3zbMath1503.68182OpenAlexW3037105833MaRDI QIDQ5100749
Isabella Kaufmann, Jiří Srba, Kim Guldstrand Larsen
Publication date: 1 September 2022
Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51831-8_3
Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- Strategy synthesis for multi-dimensional quantitative objectives
- Synthesizing robust systems
- Efficient timed model checking for discrete-time systems
- Average-energy games
- Model checking and synthesis for branching multi-weighted logics
- Generalized Mean-payoff and Energy Games
- Temporal Specifications with Accumulative Values
- Formally Reasoning About Quality
- Succinct representations of graphs
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
- Better Quality in Synthesis through Quantitative Objectives
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Alternation-free weighted mu-calculus: decidability and completeness
- Simple linear-time algorithms for minimal fixed points
