![]() | ![]() |
2008 | ||
---|---|---|
3 | EE | Marcin Jurdzinski, Ashutosh Trivedi: Concavely-Priced Timed Automata. FORMATS 2008: 48-62 |
2 | EE | Marcin Jurdzinski, Ashutosh Trivedi: Average-Time Games. FSTTCS 2008 |
2007 | ||
1 | EE | Marcin Jurdzinski, Ashutosh Trivedi: Reachability-Time Games on Timed Automata. ICALP 2007: 838-849 |
1 | Marcin Jurdzinski | [1] [2] [3] |