Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.

Andrew Scoones, Mahsa Shirmohammadi, James Worrell

Browse the full CSL paper archive.