Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020)
From LTL to rLTL monitoring.
In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control.
Text
paper.pdf - Submitted version Download (674kB) | Preview |
Official URL: http://dx.doi.org/10.1145/3365365.3382197
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 09 Jul 2020 08:45 |
Last Modified: | 23 Jan 2023 19:49 |
DOI: | 10.1145/3365365.3382197 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3090550 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)