CONFEST 2026

Test of Time
CONCUR

Strategy Logic

Nir Piterman

in Room Ain session CONCUR Test of Time Session (on,  Wed, 15:00, 2 talks over 70 min)

CONCUR 2007 Test-of-Time Award. Originally published as: Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman, Strategy Logic, CONCUR 2007. DOI: 10.1007/978-3-540-74407-8_5

Other talks in CONCUR Test of Time Session:
More Information:

 Program   CONCUR Program