"Most of" leads to undecidability: Failure of adding frequencies to LTL
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021) |
| Publication status | Published - 1 Mar 2021 |
| Peer-reviewed | Yes |