 | 2008 |
|---|
| 7 |       | Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness.
FORMATS 2008: 124-140 |
| 6 | | Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu:
Trading Infinite Memory for Uniform Randomness in Timed Games.
HSCC 2008: 87-100 |
| 5 | | Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness
CoRR abs/0807.1165: (2008) |
| 2007 |
|---|
| 4 | | Thomas Brihaye,
Thomas A. Henzinger,
Vinayak S. Prabhu,
Jean-François Raskin:
Minimum-Time Reachability in Timed Games.
ICALP 2007: 825-837 |
| 2006 |
|---|
| 3 | | Thomas A. Henzinger,
Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic.
FORMATS 2006: 1-17 |
| 2005 |
|---|
| 2 | | Thomas A. Henzinger,
Rupak Majumdar,
Vinayak S. Prabhu:
Quantifying Similarities Between Timed Systems.
FORMATS 2005: 226-241 |
| 2001 |
|---|
| 1 | | Thomas A. Henzinger,
Marius Minea,
Vinayak S. Prabhu:
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.
HSCC 2001: 275-290 |
