Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.

Florian Lercher, Matthias Althoff

Browse the full CAV paper archive.