138 citations · 597 across the 30 of their papers we have counts for
4 papers · 1 filter
Verification and Control of Turn-Based Probabilistic Real-Time Games
Marta Kwiatkowska, Gethin Norman, David Parker
Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their vari…
Robustness of 3D Deep Learning in an Adversarial Setting
Matthew Wicker, Marta Kwiatkowska
Understanding the spatial arrangement and nature of real-world objects is of paramount importance to many complex engineering tasks, including autonomous navigation. Deep learning…
Statistical Guarantees for the Robustness of Bayesian Neural Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti +3
We introduce a probabilistic robustness measure for Bayesian Neural Networks (BNNs), defined as the probability that, given a test point, there exists a point within a bounded set…
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian +3
This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discrete-time stochastic hybrid systems (SHS) with linear dynamics…