Abstract Interpretation of Game Properties
No abstract available.
Related papers
- Abstract Interpretation of Supermodular Games SAS 2016
- Constructive Game Logic ESOP 2020
- Every bit counts: The binary representation of typed data and programs JFP 2012
- An abstract, certified account of operational game semantics ESOP 2025
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- How to Win First-Order Safety Games VMCAI 2020
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards CAV 2022
- Property Directed Abstract Interpretation VMCAI 2016