First Page | Document Content | |
---|---|---|
Date: 2010-06-15 16:26:37Greek 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 CompuAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 433,70 KBShare Document on Facebook |