Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3

First Page		Document Content
Date: 2016-08-19 01:45:37		Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3 Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 616,67 KB Share Document on Facebook