Picture for Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks

Add code
Jun 17, 2024
Viaarxiv icon

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

Add code
Jun 14, 2024
Figure 1 for Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Figure 2 for Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Figure 3 for Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Figure 4 for Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Viaarxiv icon

Learning Decision Policies with Instrumental Variables through Double Machine Learning

Add code
May 15, 2024
Figure 1 for Learning Decision Policies with Instrumental Variables through Double Machine Learning
Figure 2 for Learning Decision Policies with Instrumental Variables through Double Machine Learning
Figure 3 for Learning Decision Policies with Instrumental Variables through Double Machine Learning
Figure 4 for Learning Decision Policies with Instrumental Variables through Double Machine Learning
Viaarxiv icon

The Trembling-Hand Problem for LTLf Planning

Add code
Apr 24, 2024
Figure 1 for The Trembling-Hand Problem for LTLf Planning
Figure 2 for The Trembling-Hand Problem for LTLf Planning
Figure 3 for The Trembling-Hand Problem for LTLf Planning
Figure 4 for The Trembling-Hand Problem for LTLf Planning
Viaarxiv icon

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction

Add code
Apr 23, 2024
Figure 1 for Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Figure 2 for Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Figure 3 for Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Viaarxiv icon

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms

Add code
Apr 16, 2024
Figure 1 for HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Figure 2 for HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Viaarxiv icon

Learning Algorithms for Verification of Markov Decision Processes

Add code
Mar 20, 2024
Figure 1 for Learning Algorithms for Verification of Markov Decision Processes
Figure 2 for Learning Algorithms for Verification of Markov Decision Processes
Figure 3 for Learning Algorithms for Verification of Markov Decision Processes
Viaarxiv icon

Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks

Add code
Mar 20, 2024
Figure 1 for Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
Figure 2 for Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
Figure 3 for Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
Figure 4 for Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
Viaarxiv icon

Partially Observable Stochastic Games with Neural Perception Mechanisms

Add code
Oct 17, 2023
Figure 1 for Partially Observable Stochastic Games with Neural Perception Mechanisms
Figure 2 for Partially Observable Stochastic Games with Neural Perception Mechanisms
Figure 3 for Partially Observable Stochastic Games with Neural Perception Mechanisms
Figure 4 for Partially Observable Stochastic Games with Neural Perception Mechanisms
Viaarxiv icon

Probabilistic Reach-Avoid for Bayesian Neural Networks

Add code
Oct 03, 2023
Figure 1 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 2 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 3 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 4 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Viaarxiv icon