Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
- 15 November 2015
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- System design of stochastic models using robustness of temporal propertiesTheoretical Computer Science, 2015
- A formal methods approach to pattern synthesis in reaction diffusion systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location DataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Specifying and Verifying Properties of SpaceLecture Notes in Computer Science, 2014
- Efficient Robust Monitoring for STLPublished by Springer Science and Business Media LLC ,2013
- Robust Satisfaction of Temporal Logic over Real-Valued SignalsLecture Notes in Computer Science, 2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Learning and Detecting Emergent Behavior in Networks of Cardiac MyocytesLecture Notes in Computer Science, 2008
- The Mereotopology of Discrete SpaceLecture Notes in Computer Science, 1999
- The benefits of relaxing punctualityJournal of the ACM, 1996