Marta Kwiatkowska

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems IJCAI 2025 PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks JMLR 2025 HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms L4DC 2024 Learning Decision Policies with Instrumental Variables through Double Machine Learning ICML 2024 The Trembling-Hand Problem for LTLf Planning IJCAI 2024 Compositional Probabilistic and Causal Inference using Tractable Circuit Models AISTATS 2023 Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees IJCAI 2023 Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022 Finite-horizon equilibria for neuro-symbolic concurrent stochastic games UAI 2022 Individual Fairness Guarantees for Neural Networks IJCAI 2022 Learning Dynamics and Generalization in Deep Reinforcement Learning ICML 2022 Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits IJCAI 2022 Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks IJCAI 2022 The King Is Naked: On the Notion of Robustness for Natural Language Processing AAAI 2022 Tractable Uncertainty for Structure Learning ICML 2022 When are Local Queries Useful for Robust Learning? NeurIPS 2022 Bayesian Inference with Certifiable Adversarial Robustness AISTATS 2021 Certification of iterative predictions in Bayesian neural networks UAI 2021 On Guaranteed Optimal Robust Explanations for NLP Models IJCAI 2021 On the Hardness of Robust Classification JMLR 2021 Provable Guarantees on the Robustness of Decision Rules to Causal Interventions IJCAI 2021 Adversarial Robustness Guarantees for Classification with Gaussian Processes AISTATS 2020 Assessing Robustness of Text Classification through Maximal Safe Radius Computation EMNLP 2020 Invariant Causal Prediction for Block MDPs ICML 2020 Probabilistic Safety for Bayesian Neural Networks UAI 2020 Robustness Guarantees for Deep Neural Networks on Videos CVPR 2020 Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance IJCAI 2019 On the Hardness of Robust Classification NeurIPS 2019 Probabilistic Strategy Logic IJCAI 2019 Robustness Guarantees for Bayesian Inference with Gaussian Processes AAAI 2019 Robustness of 3D Deep Learning in an Adversarial Setting CVPR 2019 Statistical Guarantees for the Robustness of Bayesian Neural Networks IJCAI 2019 Reachability Analysis of Deep Neural Networks with Provable Guarantees IJCAI 2018