136
click to vote
FSTTCS
2009
Springer
16 years 10 days ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...