137 citations · 525 across the 67 of their papers we have counts for
3 papers · 1 filter
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci +1
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the traini…
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (imple…
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci +3
We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread us…