First Page | Document Content | |
---|---|---|
Date: 2016-04-15 06:20:35Symbol | Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 464,87 KBShare Document on Facebook |