Back to Results
First PageMeta Content
Algebra / Mathematics / Abstract algebra / Timed automaton / Markov chain / Weight / Markov decision process / -ring / Spectral theory of ordinary differential equations


Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2
Add to Reading List

Document Date: 2013-12-01 09:55:59


Open Document

File Size: 248,00 KB

Share Result on Facebook