Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns

Browse the full ICFEM paper archive.