Optimal Conditional Reachability for Multi-priced Timed Automata.

Kim Guldstrand Larsen, Jacob Illum Rasmussen

Browse the full FOSSACS paper archive.