Similar Items: Prover-Adversary games for systems over (non-deterministic) branching programs
- Deterministic Suffix-reading Automata
- Pebble Games and Algebraic Proof Systems
- SLGAN-EID: Generative Adversarial Network-Based Skin Lesion Image Enhancement With Improved Diagnosis
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- GraDual: Resolving the Semantic–Frequency Trade-Off via Gradient-Regulated Dual-Branch Multimodal Manipulation Detection
- Learning to Play Two-Player Perfect-Information Games without Knowledge