View of Reachability and Reward Checking for Stochastic Timed Automata

Return to Article Details Reachability and Reward Checking for Stochastic Timed Automata Download Download PDF