From LTL to rLTL monitoring-Reference-Cited by-同舟云学术

From LTL to rLTL monitoring

Published:2020-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Mascle Corto¹,Neider Daniel²,Schwenger Maximilian³,Tabuada Paulo⁴,Weinert Alexander⁵,Zimmermann Martin⁶

Affiliation:

1. ENS Paris-Saclay, Paris, France

2. Max Planck Institute for Software Systems, Kaiserslautern, Germany

3. Saarland University, Saarbrücken, Germany

4. UCLA

5. German Aerospace Center (DLR), Cologne, Germany

6. University of Liverpool, Liverpool, United Kingdom

Funder

European Research Council

Deutsche Forschungsgemeinschaft

National Science Foundation

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3365365.3382197

Reference53 articles.

1. Houssam Abbas Alena Rodionova Ezio Bartocci Scott A. Smolka and Radu Grosu . Quantitative regular expressions for arrhythmia detection algorithms . In Jérôme Feret and Heinz Koeppl editors CMSB 2017 volume 10545 of LNCS pages 23 -- 39 . Springer 2017. 10.1007/978-3-319-67471-1_2 Houssam Abbas Alena Rodionova Ezio Bartocci Scott A. Smolka and Radu Grosu. Quantitative regular expressions for arrhythmia detection algorithms. In Jérôme Feret and Heinz Koeppl editors CMSB 2017 volume 10545 of LNCS pages 23--39. Springer 2017. 10.1007/978-3-319-67471-1_2

2. Florian-Michael Adolf Peter Faymonville Bernd Finkbeiner Sebastian Schirmer and Christoph Torens . Stream runtime monitoring on UAS . In Shuvendu K. Lahiri and Giles Reger editors RV 2017 volume 10548 of LNCS pages 33 -- 49 . Springer 2017. 10.1007/978-3-319-67531-2_3 Florian-Michael Adolf Peter Faymonville Bernd Finkbeiner Sebastian Schirmer and Christoph Torens. Stream runtime monitoring on UAS. In Shuvendu K. Lahiri and Giles Reger editors RV 2017 volume 10548 of LNCS pages 33--49. Springer 2017. 10.1007/978-3-319-67531-2_3

3. Takumi Akazaki and Ichiro Hasuo . Time robustness in MTL and expressivity in hybrid system falsification . In Daniel Kroening and Corina S. Pasareanu editors CAV 2015 volume 9207 of LNCS pages 356 -- 374 . Springer 2015. 10.1007/978-3-319-21668-3_21 Takumi Akazaki and Ichiro Hasuo. Time robustness in MTL and expressivity in hybrid system falsification. In Daniel Kroening and Corina S. Pasareanu editors CAV 2015 volume 9207 of LNCS pages 356--374. Springer 2015. 10.1007/978-3-319-21668-3_21

4. Rajeev Alur Dana Fisman and Mukund Raghothaman . Regular programming for quantitative properties of data streams . In Peter Thiemann editor ESOP 2016 volume 9632 of LNCS pages 15 -- 40 . Springer 2016. 10.1007/978-3-662-49498-1_2 Rajeev Alur Dana Fisman and Mukund Raghothaman. Regular programming for quantitative properties of data streams. In Peter Thiemann editor ESOP 2016 volume 9632 of LNCS pages 15--40. Springer 2016. 10.1007/978-3-662-49498-1_2

5. Evrostos

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model predictive monitoring of dynamical systems for signal temporal logic specifications;Automatica;2024-02

2. Handling of Past and Future with Phenesthe+;Electronic Proceedings in Theoretical Computer Science;2023-09-30

3. Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06

4. Assumption-based Runtime Verification;Formal Methods in System Design;2022-04

5. Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic;ACM Transactions on Computational Logic;2022-01-14