Temporal Logic as Filtering-Reference-Cited by-同舟云学术

Temporal Logic as Filtering

Published:2016-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Rodionova Alena¹,Bartocci Ezio¹,Nickovic Dejan²,Grosu Radu¹

Affiliation:

1. Vienna University of Technology, Vienna, Austria

2. Austrian Institute of Technology, Vienna, Austria

Funder

Doctoral Program Logical Methods in Computer Science, FWF Austria

SHiNE, FWF

US National-Science-Foundation Frontiers project CyberCardia

MISTRAL project

Austrian FFG project HARMONIA

EU ICT COST Action on Runtime VeriČcation beyond Monitoring (ARVI)

Publisher

ACM

Link

Reference20 articles.

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

1. Robust computation tree logic;Innovations in Systems and Software Engineering;2024-03-20

3. NeoMaPy: A Parametric Framework for Reasoning with MAP Inference on Temporal Markov Logic Networks;Proceedings of the 32nd ACM International Conference on Information and Knowledge Management;2023-10-21

4. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22

5. Risk of Stochastic Systems for Temporal Logic Specifications;ACM Transactions on Embedded Computing Systems;2023-04-19