activity
20172020
most citedFlat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2020 · cs.LOShow all

1 paper · 2 filters

cs.LO2020

Erratum to "Frequency Linear-time Temporal Logic"

Benedikt Bollig, Normann Decker, Martin Leucker

We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].