Similar Items: Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- Pebble Games and Algebraic Proof Systems
- Prover-Adversary games for systems over (non-deterministic) branching programs
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
- A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
- Navigating the Future of Library Systems
- A Resolution-Based Interactive Proof System for UNSAT