Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
In: 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

Event
Veröffentlichung
(where)
Hannover
(who)
Gottfried Wilhelm Leibniz Universität Hannover
(when)
2022
Event
Veröffentlichung
(where)
Hannover
(who)
Technische Informationsbibliothek (TIB)
(when)
2022
Creator

DOI
10.15488/13211
URN
urn:nbn:de:101:1-2023032117174026009614
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:43 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Fränzle, Martin
  • Gottfried Wilhelm Leibniz Universität Hannover
  • Technische Informationsbibliothek (TIB)

Time of origin

  • 2022

Other Objects (12)