27 citations · 152 across the 28 of their papers we have counts for
8 papers · 1 filter
Interval Markov Decision Processes with Continuous Action-Spaces
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo +1
Interval Markov Decision Processes (IMDPs) are finite-state uncertain Markov models, where the transition probabilities belong to intervals. Recently, there has been a surge of res…
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Luca Bortolussi, Ginevra Carbone, Luca Laurenti +3
Vulnerability to adversarial attacks is one of the principal hurdles to the adoption of deep learning in safety-critical applications. Despite significant efforts, both practical a…
Safety Certification for Stochastic Systems via Neural Barrier Functions
Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti
Providing non-trivial certificates of safety for non-linear stochastic systems is an important open problem that limits the wider adoption of autonomous systems in safety-critical…
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Rayan Mazouz, Karan Muvvala, Akash Ratheesh +2
Neural Networks (NNs) have been successfully employed to represent the state evolution of complex dynamical systems. Such models, referred to as NN dynamic models (NNDMs), use iter…
Individual Fairness Guarantees for Neural Networks
Elias Benussi, Andrea Patane, Matthew Wicker +2
We consider the problem of certifying the individual fairness (IF) of feed-forward neural networks (NNs). In particular, we work with the --IF formulation, which, given a NN…
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Steven Adams, Morteza Lahijanian, Luca Laurenti
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, howeve…
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo
Analyzing Event-Triggered Control's (ETC) sampling behaviour is of paramount importance, as it enables formal assessment of its sampling performance and prediction of its sampling…
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Skovbekk, Luca Laurenti, Eric Frew +1
Leveraging autonomous systems in safety-critical scenarios requires verifying their behaviors in the presence of uncertainties and black-box components that influence the system dy…