- Home
- →
- Proceedings
- →
- Summer Workshop on Interval Methods 2022
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Original version
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
Repository version
To cite the version in the repository, please use this identifier:
https://doi.org/10.15488/13211
Files in this item
| Abstract: | |
|
[no abstract available]
|
|
| License of this version: | CC BY 3.0 DE - https://creativecommons.org/licenses/by/3.0/de/ |
| Publication type: | BookPart |
| Publishing status: | publishedVersion |
| Publication date: | 2022 |
| Keywords english: | Temporal logic, Online monitoring, Uncertain information, Partial observation, Affine encodings |
| DDC: | 510 | Mathematik |
| Controlled keywords(GND): | Konferenzschrift |
This item appears in the following Collection(s):
-
Summer Workshop on Interval Methods 2022
Summer Workshop on Interval Methods 2022 (SWIM 2022)