138 citations · 597 across the 30 of their papers we have counts for
41 papers
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Marta Kwiatkowska, Xiyue Zhang
Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis an…
Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms
Rui Yan, Gabriel Santos, Gethin Norman +2
The increasing trend to integrate neural networks and conventional software components in safety-critical settings calls for methodologies for their formal modelling, verification…
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
Daqian Shao, Marta Kwiatkowska
Linear Temporal Logic (LTL) is widely used to specify high-level objectives for system policies, and it is highly desirable for autonomous systems to learn the optimal policy with…
Compositional Probabilistic and Causal Inference using Tractable Circuit Models
Benjie Wang, Marta Kwiatkowska
Probabilistic circuits (PCs) are a class of tractable probabilistic models, which admit efficient inference routines depending on their structural properties. In this paper, we int…
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Stochastic games are a convenient formalism for modelling systems that comprise rational agents competing or collaborating within uncertain environments. Probabilistic model checki…
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
Marta Kwiatkowska, Gethin Norman, David Parker +2
Game-theoretic concepts have been extensively studied in economics to provide insight into competitive behaviour and strategic decision making. As computing systems increasingly in…