On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions.

Nicolaj . Jensen, Kim G. Larsen, Didier Lime, Jir Srba

Browse the full CONCUR paper archive.