"Most of" leads to undecidability: Failure of adding frequencies to LTL.

Bartosz Bednarczyk, Jakub Michaliszyn

Browse the full FOSSACS paper archive.