"Most of" leads to undecidability: Failure of adding frequencies to LTL
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021) |
| Publikationsstatus | Veröffentlicht - 1 März 2021 |
| Peer-Review-Status | Ja |