| Article Details | ||
|---|---|---|
| Title: | Temporal Logic as Filtering | |
| Article URLs: | ||
| Alternative Article URLs: | An extended journal version with full proofs is available at: https://ti.tuwien.ac.at/cps/people/grosu/files/natoseries17.pdf and published as follows: A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu. Temporal Logic as Filtering. In Dependable Software Systems Engineering, Nato Science Series for Peace and Security, Vol. 50, pages 1-22, 2017, ISBN Print: 978-1-61499-809-9, ISBN Online: 978-1-61499-810-5 | |
| Authors: | Alena Rodionova |
|
| Ezio Bartocci |
|
|
| Dejan Nickovic |
|
|
| Radu Grosu |
|
|
| Sharing: | Not able to share produced artifacts | |
| Verification: | Authors have verified information | |
| Artifact Evaluation Badge: |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
awarded
|
|
| Artifact URLs: |
|
|
| Artifact Correspondence Email Addresses: |
|
|
| NSF Award Numbers: | 1446832 | |
| DBLP Key: | conf/hybrid/RodionovaBNG16 | |
| Author Comments: | To the best of our knowledge, this is the first paper to relate linear temporal logic with filtering. | |