P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Technical Report RS-04-4, BRICS, Denmark, 2004. Available at http://www.brics.dk/RS/04/4/. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Synthesis of Optimal Strategies Using HYTECH - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) Self-citation (Bouyer Cassez Fleury Larsen) (Correct)
No context found.
P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/.
Optimal Reachability for Weighted Timed Games - Alur, Bernadsky, Madhusudan (2004) (1 citation) (Correct)
No context found.
P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Technical Report RS-04-4, BRICS, Denmark, 2004. Available at http://www.brics.dk/RS/04/4/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC