Erratum to "Frequency Linear-time Temporal Logic"

10/01/2020

∙

by   Benedikt Bollig, et al.

∙

0

∙

share

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