138 citations · 597 across the 30 of their papers we have counts for
3 papers · 1 filter
Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang +1
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, min…
Expected Reachability-Time Games
Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman +1
Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such auto…
Programming Discrete Distributions with Chemical Reaction Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
We explore the range of probabilistic behaviours that can be engineered with Chemical Reaction Networks (CRNs). We show that at steady state CRNs are able to "program" any distribu…