Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

First Page		Document Content
Date: 2010-06-15 16:26:37 Greek letters Timed automaton Symbol Zeta		Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 433,70 KB Share Document on Facebook