Synthesis with rational environments
From MaRDI portal
Publication:314471
DOI10.1007/s10472-016-9508-8zbMath1372.68173OpenAlexW2473183186MaRDI QIDQ314471
Orna Kupferman, Moshe Y. Vardi, Giuseppe Perelli
Publication date: 16 September 2016
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-016-9508-8
Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (24)
Equilibria for games with combined qualitative and quantitative objectives ⋮ Synthesis with rational environments ⋮ A logic for conditional local strategic reasoning ⋮ Dependences in Strategy Logic ⋮ Cooperative concurrent games ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ On the complexity of rational verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Subgame-perfect Equilibria in Mean-payoff Games (journal version) ⋮ Synthesizing Computable Functions from Rational Specifications Over Infinite Words ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Unnamed Item ⋮ On the Existence of Weak Subgame Perfect Equilibria ⋮ On the existence of weak subgame perfect equilibria ⋮ Multi-player games with LDL goals over finite traces ⋮ Dependences in strategy logic ⋮ Assume-admissible synthesis ⋮ Quantifying Bounds in Strategy Logic ⋮ Unnamed Item ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ A game-theoretic approach for the synthesis of complex systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis with rational environments
- Reexamination of the perfectness concept for equilibrium points in extensive games
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
- Pure Nash Equilibria in Concurrent Deterministic Games
- Reasoning About Strategies
- Beyond Nash Equilibrium: Solution Concepts for the 21st Century
- Alternating-time temporal logic
- Strategy Logic
- Environment Assumptions for Synthesis
- Rational Synthesis
- Better Quality in Synthesis through Quantitative Objectives
- Church's Problem Revisited
- Markov decision processes and regular events
- Distributed computing meets game theory
- Computer Science Logic
- Formalizing and Reasoning about Quality
- Assume-Admissible Synthesis
- Algorithmic Game Theory
- Discounting in LTL
- Algorithmic mechanism design
This page was built for publication: Synthesis with rational environments
