Stochastic Timed Games Revisited. | 1 | 0.36 | 2016 |
Reachability Games on Recursive Hybrid Automata | 1 | 0.35 | 2015 |
On Pure Nash Equilibria in Stochastic Games. | 1 | 0.37 | 2015 |
What's decidable about recursive hybrid automata? | 4 | 0.44 | 2015 |
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. | 0 | 0.34 | 2015 |
Revisiting Robustness in Priced Timed Games. | 0 | 0.34 | 2015 |
Adding Negative Prices to Priced Timed Games. | 4 | 0.42 | 2014 |
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. | 1 | 0.38 | 2014 |
Improved Undecidability Results For Reachability Games On Recursive Timed Automata | 2 | 0.39 | 2014 |
Model Checking Weighted Integer Reset Timed Automata | 1 | 0.34 | 2011 |
Integer Reset Timed Automata: Clock Reduction and Determinizability | 2 | 0.37 | 2010 |
Updatable Timed Automata with Additive and Diagonal Constraints | 1 | 0.35 | 2008 |
Timed Automata with Integer Resets: Language Inclusion and Expressiveness | 12 | 0.58 | 2008 |