Computing adequately permissive assumptions for synthesis

DOI10.1007/978-3-031-30820-8_15MaRDI QIDQ6536127zbMATH OpenFDO

Authors Kaushik Mallik, Anne-Kathrin Schmuck

Publication date 5 April 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30820-8_15

zbMATH Keywords

synthesisparitytwo-player gamespermissiveness

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Environment Assumptions for Synthesis
• Synthesizing permissive winning strategy templates for parity games
• Optimal assumptions for synthesis
• Cooperative reactive synthesis
• Assume-Guarantee Synthesis

Cites work

• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A weakness measure for GR(1) formulae
• Assume-Guarantee Synthesis
• Assume-admissible synthesis
• Environment Assumptions for Synthesis
• Information Flow Guided Synthesis
• Obliging games
• Rational synthesis
• Un théorème sur les fonctions d'ensembles.
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• With a little help from your friends: semi-cooperative games via joker moves
• Winning strategy templates for stochastic parity games towards permissive and resilient control
• Contract-based distributed logical controller synthesis
• Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control
• Synthesizing permissive winning strategy templates for parity games

This page was built for publication: Computing adequately permissive assumptions for synthesis

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