Anomaly detection is an active area of research with numerous methods and applications.
This survey reviews the state-of-the-art of data-driven anomaly detection techniques and …

Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

Signal temporal logic (STL) is a formalism used to rigorously specify requirements of
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …

This paper addresses the problem of learning optimal policies for satisfying signal temporal
logic (STL) specifications by agents with unknown stochastic dynamics. The system is …

A significant challenge to the formal validation of software-based industrial control systems
is that system requirements are often imprecise, non-modular, evolving, or even simply …

This paper introduces a framework for inference of timed temporal logic properties from data.
The dataset is given as a finite set of pairs of finite-time system traces and labels, where the …

We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from
examples. The first learning algorithm reduces the learning task to a series of satisfiability …

The increased complexity of modern systems necessitates automated anomaly detection
methods to detect possible anomalous behavior determined by malfunctions or external …

When observing task demonstrations, human apprentices are able to identify whether a
given task is executed correctly long before they gain expertise in actually performing that …