Synthesis with rational environments
type: Item
instance of: scholarly article
title: Synthesis with rational environments
zbMATH Open document ID: 1372.68173
author: Orna Kupferman
author: Giuseppe Perelli
author: Moshe Y. Vardi
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2016-09-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6627930
zbMATH Keywords: synthesis
zbMATH Keywords: multi-agent systems
zbMATH Keywords: formal methods
zbMATH Keywords: logics for games
MaRDI profile type: Publication
full work available at URL: s10472-016-9508-8
OpenAlex ID: W2473183186
cites work: Distributed computing meets game theory
cites work: Formalizing and Reasoning about Quality
cites work: Discounting in LTL
cites work: Alternating-time temporal logic
cites work: Q3254691
cites work: Better Quality in Synthesis through Quantitative Objectives
cites work: Pure Nash Equilibria in Concurrent Deterministic Games
cites work: Assume-Admissible Synthesis
cites work: Environment Assumptions for Synthesis
cites work: Strategy Logic
cites work: Computer Science Logic
cites work: Q5725991
cites work: Markov decision processes and regular events
cites work: Rational Synthesis
cites work: Beyond Nash Equilibrium: Solution Concepts for the 21st Century
cites work: Church's Problem Revisited
cites work: Q4002642
cites work: Reasoning About Strategies
cites work: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
cites work: Reasoning about strategies
cites work: Algorithmic mechanism design
cites work: Algorithmic Game Theory
cites work: Q3576736
cites work: Q4205072
cites work: Reexamination of the perfectness concept for equilibrium points in extensive games
DOI: 10.1007/S10472-016-9508-8
Recommended article: Rational Synthesis
Recommended article: Synthesis for Probabilistic Environments
Recommended article: The Complexity of Rational Synthesis
Recommended article: Rational Synthesis Under Imperfect Information
Recommended article: Q3717733
Recommended article: Synthesizing efficient systems in probabilistic environments
Recommended article: High-Quality Synthesis Against Stochastic Environments
Recommended article: Q5136320
Recommended article: Environment Assumptions for Synthesis
description: scientific article; zbMATH DE number 6627930