TY  - RPRT
TI  - "Most of" leads to undecidability: Failure of adding frequencies to LTL
AU  - Bartosz Bednarczyk
AU  - Jakub Michaliszyn
PY  - 2021
UR  - https://arxiv.org/abs/2007.01233
ID  - 2007.01233
ER  -