On Temporal Logic and Signal Processing
From MaRDI portal
Publication:4649290
DOI10.1007/978-3-642-33386-6_9zbMath1374.68278OpenAlexW1509254601MaRDI QIDQ4649290
Oded Maler, Scott A. Smolka, Ezio Bartocci, Radu Grosu, Alexandre Donzé, Dejan Ničković
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_9
Signal theory (characterization, reconstruction, filtering, etc.) (94A12) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Foundations of Boolean stream runtime verification, Multi-Valued Reasoning about Reactive Systems, Mathematical analyses of two-compartment model of human cholesterol circulatory transport in application to high blood cholesterol prevention, diagnosis and treatment, A Multiresolution Analysis of Temporal Logic, A program logic to verify signal temporal logic specifications of hybrid systems, STL*: extending signal temporal logic with signal-value freezing operator, A survey of challenges for runtime verification from advanced application domains (beyond software), Introduction to the special issue on runtime verification, System design of stochastic models using robustness of temporal properties
