- Startseite
- →
- Proceedings
- →
- Summer Workshop on Interval Methods 2022
- →
- Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
Originalpublikation
Fränzle, Martin: Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation. In: 13th Summer Workshop on Interval Methods - Book of Abstracts. Hannover : Gottfried Wilhelm Leibniz Universität, 2022
Version im Repositorium
Zum Zitieren der Version im Repositorium verwenden Sie bitte diesen DOI:
https://doi.org/10.15488/13211
| Zusammenfassung: | |
|
[no abstract available]
|
|
| Lizenzbestimmungen: | CC BY 3.0 DE - https://creativecommons.org/licenses/by/3.0/de/ |
| Publikationstyp: | BookPart |
| Publikationsstatus: | publishedVersion |
| Erstveröffentlichung: | 2022 |
| Schlagwörter (englisch): | Temporal logic, Online monitoring, Uncertain information, Partial observation, Affine encodings |
| Fachliche Zuordnung (DDC): | 510 | Mathematik |
| Kontrollierte Schlagwörter: | Konferenzschrift |
Die Publikation erscheint in Sammlung(en):
-
Summer Workshop on Interval Methods 2022
Summer Workshop on Interval Methods 2022 (SWIM 2022)