![]() | Up a level |
Number of items: 1.
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.