Similar Items: Learning to Play Two-Player Perfect-Information Games without Knowledge
- Pebble Games and Algebraic Proof Systems
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- One is all you need: Second-order Unification without First-order Variables
- Prover-Adversary games for systems over (non-deterministic) branching programs
- Network Intrusion Detection With Spatial and Temporal Knowledge Graphs and Semi-Supervised Learning
- THE BENEFITS OF TESTING SOFTWARE IN SE RESEARCH: LESSONS LEARNED FROM TWO PhD PROJECTS