Back to Results
First PageMeta Content
Symbol


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 List

Document Date: 2016-04-15 06:20:35


Open Document

File Size: 464,87 KB

Share Result on Facebook