Similar Items: Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- Pebble Games and Algebraic Proof Systems
- Finite-Time Stability Analysis for a Class of Second-Order System With Input Delay
- Prover-Adversary games for systems over (non-deterministic) branching programs
- PSD: Parallel Finite Element Solver for Continuum Dynamics
- Learning to Play Two-Player Perfect-Information Games without Knowledge
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection