4447 search results - page 177 / 890 » Model Checking Games |
118
click to vote
FSTTCS
2009
Springer
15 years 10 months 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...
100
Voted
DAC
1999
ACM
16 years 5 months ago
1999
ACM
106
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
104
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
