Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.

Raffaella Gentilini, Klaus Schneider, Bud Mishra

Browse the full LFCS paper archive.