Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis.

Farn Wang

Browse the full RTSS paper archive.