We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

Uncertainty in safety-critical cyber-physical systems can be modeled using a finite number of
parameters or input signals. Given a system specification in Signal Temporal Logic (STL) …

We consider the problem of predictive monitoring (PM), ie, predicting at runtime the
satisfaction of a desired property from the current system's state. Due to its relevance for …

We present a Monte-Carlo optimization technique for finding system behaviors that falsify a
metric temporal logic (MTL) property. Our approach performs a random walk over the space …

The wide availability of data coupled with the computational advances in artificial
intelligence and machine learning promise to enable many future technologies such as …

Safety and security are major concerns in the development of Cyber-Physical Systems
(CPS). Signal temporal logic (STL) was proposed as a language to specify and monitor the …

We present a framework for automatic specification-guided testing for Stochastic Cyber-
Physical Systems (SCPS). The framework utilizes the theory of robustness of Metric …

Monitoring transient behaviors of real-time systems plays an important role in model-based
systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful …

Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

Signal temporal logic (STL) is a temporal logic formalism for specifying properties of
continuous signals. STL is widely used for analyzing programs in cyber-physical systems …