Risk of stochastic systems for temporal logic specifications
The wide availability of data coupled with the computational advances in artificial
intelligence and machine learning promise to enable many future technologies such as …
intelligence and machine learning promise to enable many future technologies such as …
Specification mining and robust design under uncertainty: A stochastic temporal logic approach
In this paper, we propose Stochastic Temporal Logic (StTL) as a formalism for expressing
probabilistic specifications on time-varying behaviors of controlled stochastic dynamical …
probabilistic specifications on time-varying behaviors of controlled stochastic dynamical …
Risk verification of stochastic systems with neural network controllers
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we
present a data-driven framework for verifying the risk of stochastic dynamical systems with …
present a data-driven framework for verifying the risk of stochastic dynamical systems with …
STL robustness risk over discrete-time stochastic processes
L Lindemann, N Matni… - 2021 60th IEEE …, 2021 - ieeexplore.ieee.org
We present a framework to interpret signal temporal logic (STL) formulas over discrete-time
stochastic processes in terms of the induced risk. Each realization of a stochastic process …
stochastic processes in terms of the induced risk. Each realization of a stochastic process …
Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems
We present a framework for automatic specification-guided testing for Stochastic Cyber-
Physical Systems (SCPS). The framework utilizes the theory of robustness of Metric …
Physical Systems (SCPS). The framework utilizes the theory of robustness of Metric …
Uncertainty-aware signal temporal logic inference
N Baharisangari, JR Gaglione, D Neider… - … Workshop on Numerical …, 2021 - Springer
Temporal logic inference is the process of extracting formal descriptions of system behaviors
from data in the form of temporal logic formulas. The existing temporal logic inference …
from data in the form of temporal logic formulas. The existing temporal logic inference …
[HTML][HTML] System design of stochastic models using robustness of temporal properties
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …
On the robustness of temporal properties for stochastic models
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …
Interface-aware signal temporal logic
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 …
(CPS). Signal temporal logic (STL) was proposed as a language to specify and monitor the …
Probabilistic temporal logic falsification of cyber-physical systems
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 …
metric temporal logic (MTL) property. Our approach performs a random walk over the space …