Causality-based game solving

DOI10.1007/978-3-030-81685-8_42zbMath1493.68203arXiv2105.14247OpenAlexW3186103528MaRDI QIDQ832242

Bernd Finkbeiner, Simon Jantsch, Christel Baier, Florian Funke, Julian Siber, Norine Coenen

Publication date: 25 March 2022

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

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Temporal causality in reactive systems, Operational causality -- necessarily sufficient and sufficiently necessary

Uses Software

• z3
• MathSAT5
• PySMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Guiding Craig interpolation with domain-specific abstractions
• Synthesis of Reactive(1) designs
• Automata, logics, and infinite games. A guide to current research
• Causality-Based Verification of Multi-threaded Programs
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Slicing Abstractions
• Modal μ-Calculus and Alternating Tree Automata
• On the synthesis of strategies in infinite games
• Compositional Synthesis of Reactive Controllers for Multi-agent Systems
• A new solution of Dijkstra's concurrent programming problem
• Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
• The MathSAT5 SMT Solver
• A constraint-based approach to solving games on infinite graphs
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Tools and Algorithms for the Construction and Analysis of Systems