View of Minimum-Cost Reachability for Priced Timed Automata

Return to Article Details Minimum-Cost Reachability for Priced Timed Automata Download Download PDF