Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients-Reference-Cited by-同舟云学术

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Published:2014 Issue: Volume: Page:391-403
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
language:
Short-container-title:

Author:

Bufo Sara,Bartocci Ezio,Sanguinetti Guido,Borelli Massimo,Lucangelo Umberto,Bortolussi Luca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45231-8_30

Reference42 articles.

1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)

2. Lecture Notes in Computer Science;E. Asarin,2012

3. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: On the robustness of temporal properties for stochastic models. In: Proc. of HSB 2013, pp. 3–19 (2013)

4. Bartocci, E., Bortolussi, L., Sanguinetti, G.: Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. CoRR abs/1312.7523 (2013)

5. Lecture Notes in Computer Science;E. Bartocci,2014

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

1. A Novel Classification Technique based on Formal Methods;ACM Transactions on Knowledge Discovery from Data;2023-06-28

2. Monitors That Learn From Failures: Pairing STL and Genetic Programming;IEEE Access;2023

3. Mining Specification Parameters for Multi-class Classification;Runtime Verification;2023

4. Adaptive testing for specification coverage and refinement in CPS models;Nonlinear Analysis: Hybrid Systems;2022-11

5. Learning temporal logic formulas from suboptimal demonstrations: theory and experiments;Autonomous Robots;2021-07-30