Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation (English)
Free access
- New search for: Fränzle, Martin
- New search for: Fränzle, Martin
- New search for: Technische Informationsbibliothek (TIB)
- New search for: Schön, Steffen
- New search for: Rauh, Andreas
2022
- Miscellaneous / Electronic Resource
-
Title:Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
-
Contributors:Fränzle, Martin ( author ) / Technische Informationsbibliothek (TIB) ( host institution ) / Schön, Steffen ( editor ) / Rauh, Andreas ( editor )
-
Publisher:
- New search for: Hannover : Gottfried Wilhelm Leibniz Universität
-
Publication date:2022
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
- New search for: 500
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 500 -
Licence:
-
Source: