scientific article; zbMATH DE number 7730629

DOI10.4230/LIPICS.CONCUR.2021.27MaRDI QIDQ6134271zbMATH OpenFDO

Authors Véronique Bruyère, Jean-François Raskin, Clément Tamines

Publication date 21 August 2023

Full work available at URL https://arxiv.org/abs/2102.08925

zbMATH Keywords

parity objectivesStackelberg non-zero sum games played on graphssynthesis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Pareto Optimality
• scientific article; zbMATH DE number 1210013
• A foundation for Pareto aggregation
• Pareto efficiency and weighted majority rules
• Pareto-optimality of compromise decisions
• Pareto optimality and Walrasian equilibria
• Goal programming and Pareto efficiency
• Pareto optimal allocations and dynamic programming
• Pareto utility
• scientific article; zbMATH DE number 1069804

Cited in

(6)

• A game-theoretic approach for the synthesis of complex systems
• scientific article; zbMATH DE number 3959074 (Why is no real title available?)
• From Spot 2.0 to Spot 2.10: What’s New?
• Stackelberg-Pareto synthesis
• Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete
• As soon as possible but rationally

This page was built for publication:

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