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 …

We consider the problem of explaining the temporal behavior of black-box systems using
human-interpretable models. Following recent research trends, we rely on the fundamental …

Recent advances in sensing and computing technology have led to the proliferation of
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …

Cyber-physical system applications such as autonomous vehicles, wearable devices, and
avionic systems generate a large volume of time-series data. Designers often look for tools …

We present a method for learning multi-stage tasks from demonstrations by learning the
logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula …

We present a method for learning multi-stage tasks from demonstrations by learning the
logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula …

Traffic systems, where human and autonomous drivers interact, are a very relevant instance
of complex systems and produce behaviors that can be regarded as trajectories over time …

Medical Cyber-physical Systems (MCPS) are vulnerable to accidental or malicious faults
that can target their controllers and cause safety hazards and harm to patients. This paper …

Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-
dependent signals originating from continuous-state or hybrid-state dynamical systems …

Reinforcement learning (RL) has revolutionized decision-making across a wide range of
domains over the past few decades. Yet, deploying RL policies in real-world scenarios …