scientific article; zbMATH DE number 7455744
From MaRDI portal
Publication:5021006
Martín G. Zimmermann, Aniello Murano, Sasha Rubin
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.11638
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal bounds in parametric LTL games
- Parametric linear dynamic logic
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
- On short paths interdiction problems: Total and node-wise limited interdiction
- From liveness to promptness
- The bad match; a total reward stochastic game
- Positional strategies for mean payoff games
- The complexity of mean payoff games on graphs
- Energy parity games
- Automata, logics, and infinite games. A guide to current research
- Strategy synthesis for multi-dimensional quantitative objectives
- Average-energy games
- Parameterized linear temporal logics meet costs: still not costlier than LTL
- Optimal Bounds for Multiweighted and Parametrised Energy Games
- Finitary winning in ω-regular games
- Parametric temporal logic for “model measuring”
- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
- Better Quality in Synthesis through Quantitative Objectives
- Mathematical Foundations of Computer Science 2004
- Parity and Streett Games with Costs
- Solving Sequential Conditions by Finite-State Strategies
- Decision problems forω-automata
- Formal Methods for Components and Objects
- Foundations of Software Science and Computation Structures
