Erratum to "Frequency Linear-time Temporal Logic"
arXiv:2010.00296
Abstract
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
arXiv:2010.00296
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].