Search Results for 'inexptime exptime complete ptctl'
inexptime exptime complete ptctl published presentations and documents on DocSlides.
Table1.Complexityresultsformodelcheckingprobabilistictimedautomata
...
by giovanna-bartolotta
Oneclock
Twoclocks
Reachability,PCTL
P-complete
EX...