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.

First Page		Document Content
Date: 2016-04-15 06:20:35 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 Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 464,87 KB Share Document on Facebook