The complexity of rational synthesis

DOI10.4230/LIPICS.ICALP.2016.121zbMATH Open1388.68163OpenAlexW2533969236MaRDI QIDQ4598263FDOQ4598263

Authors: Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin 

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#ConduracheFGR16

Recommendations

• The complexity of rational synthesis for concurrent games
• Synthesis with rational environments
• Rational synthesis
• Rational synthesis under imperfect information
• Assume-Guarantee Synthesis

zbMATH Keywords

reactive synthesisomega-regular objectivesnon-zero sum games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80)

Cited In (18)

• Dependences in strategy logic
• A game-theoretic approach for the synthesis of complex systems
• On the complexity of rational verification
• On subgame perfect equilibria in turn-based reachability timed games
• Dependences in Strategy Logic
• The Complexity of Synthesis from Probabilistic Components
• Synthesis with rational environments
• Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete
• Title not available (Why is that?)
• On relevant equilibria in reachability games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthesizing Computable Functions from Rational Specifications Over Infinite Words
• Stackelberg-Pareto synthesis
• The complexity of LTL rational synthesis
• Title not available (Why is that?)
• Rational synthesis
• The complexity of LTL rational synthesis

This page was built for publication: The complexity of rational synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598263)