Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

dc.identifier.uri	https://www.repo.uni-hannover.de/handle/123456789/13318
dc.identifier.uri	https://doi.org/10.15488/13211
dc.contributor.author	Fränzle, Martin
dc.contributor.editor	Schön, Steffen
dc.contributor.editor	Rauh, Andreas
dc.date.accessioned	2023-01-13T15:51:09Z
dc.date.available	2023-01-13T15:51:09Z
dc.date.issued	2022
dc.identifier.citation	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	ger
dc.description.abstract	[no abstract available]	eng
dc.language.iso	eng
dc.publisher	Hannover : Gottfried Wilhelm Leibniz Universität
dc.rights	CC BY 3.0 DE
dc.rights.uri	https://creativecommons.org/licenses/by/3.0/de/
dc.subject	Temporal logic	eng
dc.subject	Online monitoring	eng
dc.subject	Uncertain information	eng
dc.subject	Partial observation	eng
dc.subject	Affine encodings	eng
dc.subject.classification	Konferenzschrift	ger
dc.subject.ddc	510 \| Mathematik	ger
dc.title	Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation	eng
dc.type	BookPart
dc.type	Text
dc.description.version	publishedVersion
tib.accessRights	frei zug�nglich
dc.bibliographicCitation.bookTitle	13th Summer Workshop on Interval Methods - Book of Abstracts