Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.

Farn Wang

Browse the full ATVA paper archive.