The Power of Verification for One-Parameter Agents.

Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano

Browse the full ICALP paper archive.