Metric Linear-Time Temporal Logic with Strict First-Time Semantics.

Eric Alsmann, Martin Lange

Browse the full TIME paper archive.