"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 |