5 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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].