Symbolic Quantitative Robustness Analysis of Timed Automata.

Ocan Sankur

Browse the full TACAS paper archive.