A Counting Semantics for Monitoring LTL Specifications over Finite Traces.

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Rck

Browse the full CAV paper archive.