Back to Results
First PageMeta Content
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

Document Date: 2010-06-15 16:26:37


Open Document

File Size: 433,70 KB

Share Result on Facebook