Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review