default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarta Z. Kwiatkowska
Marta Zofia Kwiatkowska – Marta Kwiatkowska
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j91]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024)- [j90]Rui Yan
, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300: 105193 (2024) - [j89]Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng:
Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction. IEEE Robotics Autom. Lett. 9(11): 9946-9953 (2024) - [c235]Marta Kwiatkowska:
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). CSL 2024: 5:1-5:2 - [c234]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) 2024: 3-28 - [c233]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) 2024: 363-380 - [c232]Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska:
Learning Decision Policies with Instrumental Variables through Double Machine Learning. ICML 2024 - [c231]Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska:
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. ICRA 2024: 12949-12955 - [c230]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. IJCAI 2024: 3631-3641 - [c229]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC 2024: 80-91 - [c228]Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn:
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. ECML/PKDD (7) 2024: 383-398 - [c227]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska:
Provable Preimage Under-Approximation for Neural Networks. TACAS (3) 2024: 3-23 - [i87]Daqian Shao, Lukas Fesser, Marta Kwiatkowska:
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers. CoRR abs/2401.05338 (2024) - [i86]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma:
Learning Algorithms for Verification of Markov Decision Processes. CoRR abs/2403.09184 (2024) - [i85]Jon Vadillo, Roberto Santana, José Antonio Lozano, Marta Kwiatkowska:
Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks. CoRR abs/2403.13740 (2024) - [i84]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2404.10679 (2024) - [i83]Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng:
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. CoRR abs/2404.15557 (2024) - [i82]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024) - [i81]Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska:
Learning Decision Policies with Instrumental Variables through Double Machine Learning. CoRR abs/2405.08498 (2024) - [i80]Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn:
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. CoRR abs/2406.10154 (2024) - [i79]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. CoRR abs/2406.11522 (2024) - [i78]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang:
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. CoRR abs/2408.09262 (2024) - [i77]Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng:
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. CoRR abs/2409.09130 (2024) - 2023
- [j88]Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska:
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27(8): 3721-3730 (2023) - [c226]Benjie Wang, Marta Kwiatkowska:
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. AISTATS 2023: 9488-9498 - [c225]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
Certifiers Make Neural Networks Vulnerable to Availability Attacks. AISec@CCS 2023: 67-78 - [c224]Bengt Jonsson, Marta Kwiatkowska, Igor Walukiewicz:
CONCUR Test-Of-Time Award 2023 (Invited Paper). CONCUR 2023: 1:1-1:2 - [c223]Marta Kwiatkowska, Xiyue Zhang:
When to Trust AI: Advances and Challenges for Certification of Neural Networks. FedCSIS 2023: 25-37 - [c222]Daqian Shao, Marta Kwiatkowska:
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. IJCAI 2023: 4180-4189 - [i76]Benjie Wang, Marta Kwiatkowska:
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. CoRR abs/2304.08278 (2023) - [i75]Daqian Shao, Marta Kwiatkowska:
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. CoRR abs/2305.01381 (2023) - [i74]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska:
On Preimage Approximation for Neural Networks. CoRR abs/2305.03686 (2023) - [i73]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR abs/2306.13614 (2023) - [i72]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i71]Marta Kwiatkowska, Xiyue Zhang:
When to Trust AI: Advances and Challenges for Certification of Neural Networks. CoRR abs/2309.11196 (2023) - [i70]Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska:
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. CoRR abs/2310.01163 (2023) - [i69]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - [i68]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [j87]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5: 385-410 (2022) - [j86]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23: 146:1-146:55 (2022) - [j85]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022) - [c221]Emanuele La Malfa, Marta Kwiatkowska:
The King Is Naked: On the Notion of Robustness for Natural Language Processing. AAAI 2022: 11047-11057 - [c220]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c219]Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal:
Learning Dynamics and Generalization in Deep Reinforcement Learning. ICML 2022: 14560-14581 - [c218]Benjie Wang, Matthew Wicker, Marta Kwiatkowska:
Tractable Uncertainty for Structure Learning. ICML 2022: 23131-23150 - [c217]Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. IJCAI 2022: 651-658 - [c216]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. IJCAI 2022: 3022-3028 - [c215]Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska:
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. IJCAI 2022: 4885-4892 - [c214]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS 2022: 4:1-4:22 - [c213]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? NeurIPS 2022 - [c212]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [c211]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI 2022: 2170-2180 - [i67]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i66]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i65]Benjie Wang, Matthew Wicker, Marta Kwiatkowska:
Tractable Uncertainty for Structure Learning. CoRR abs/2204.14170 (2022) - [i64]Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. CoRR abs/2205.05763 (2022) - [i63]Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska:
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. CoRR abs/2205.05793 (2022) - [i62]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. CoRR abs/2205.06127 (2022) - [i61]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2205.07546 (2022) - [i60]Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal:
Learning Dynamics and Generalization in Reinforcement Learning. CoRR abs/2206.02126 (2022) - [i59]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i58]Aleksandar Petrov, Marta Kwiatkowska:
Robustness of Unsupervised Representation Learning without Labels. CoRR abs/2210.04076 (2022) - [i57]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? CoRR abs/2210.06089 (2022) - [i56]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - [i55]Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska:
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. CoRR abs/2211.15258 (2022) - 2021
- [j84]Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge:
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51(9): 6569-6584 (2021) - [j83]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. 9(10): 107 (2021) - [j82]Marta Kwiatkowska:
The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi. Bull. EATCS 134 (2021) - [j81]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [j80]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. J. Mach. Learn. Res. 22: 273:1-273:29 (2021) - [j79]Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska:
Adaptive formal approximations of Markov chains. Perform. Evaluation 148: 102207 (2021) - [j78]Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [c210]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS 2021: 2431-2439 - [c209]Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI 2021: 2658-2665 - [c208]Benjie Wang, Clare Lyle, Marta Kwiatkowska:
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. IJCAI 2021: 4258-4265 - [c207]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [i54]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. CoRR abs/2102.05289 (2021) - [i53]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. CoRR abs/2104.03180 (2021) - [i52]Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. CoRR abs/2105.03640 (2021) - [i51]Benjie Wang, Clare Lyle, Marta Kwiatkowska:
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. CoRR abs/2105.09108 (2021) - [i50]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - [i49]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
Backdoor Attacks on Network Certification via Data Poisoning. CoRR abs/2108.11299 (2021) - [i48]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. CoRR abs/2111.10630 (2021) - [i47]Emanuele La Malfa, Marta Kwiatkowska:
The King is Naked: on the Notion of Robustness for Natural Language Processing. CoRR abs/2112.07605 (2021) - 2020
- [j77]Marta Kwiatkowska, Éva Tardos, Johan Håstad:
The EATCS Award 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j76]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807: 298-329 (2020) - [c206]Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS 2020: 3372-3382 - [c205]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c204]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193 - [c203]Min Wu, Marta Kwiatkowska:
Robustness Guarantees for Deep Neural Networks on Videos. CVPR 2020: 308-317 - [c202]Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska:
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC 2020: 54-57 - [c201]Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska:
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) 2020: 2949-2968 - [c200]Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup:
Invariant Causal Prediction for Block MDPs. ICML 2020: 11214-11224 - [c199]Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska:
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA 2020: 7344-7350 - [c198]Marta Kwiatkowska:
Safety and Robustness for Deep Learning with Provable Guarantees. ASE 2020: 1-3 - [c197]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [c196]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. UAI 2020: 1198-1207 - [i46]Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup:
Invariant Causal Prediction for Block MDPs. CoRR abs/2003.06016 (2020) - [i45]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. CoRR abs/2004.10281 (2020) - [i44]Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy:
On the Benefits of Invariance in Neural Networks. CoRR abs/2005.00178 (2020) - [i43]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i42]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020) - [i41]Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska:
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR abs/2010.02004 (2020)
2010 – 2019
- 2019
- [j75]Artur Czumaj, Marta Kwiatkowska, Éva Tardos:
The EATCS Award 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j74]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [j73]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Trans. Comput. Log. 20(4): 21:1-21:64 (2019) - [c195]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c194]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c193]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS 2019: 1-7 - [c192]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c191]Marta Z. Kwiatkowska:
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). CONCUR 2019: 1:1-1:5 - [c190]Matthew Wicker, Marta Kwiatkowska:
Robustness of 3D Deep Learning in an Adversarial Setting. CVPR 2019: 11767-11775 - [c189]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c188]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c187]Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin:
Probabilistic Strategy Logic. IJCAI 2019: 32-38 - [c186]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [c185]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI 2019: 5944-5952 - [c184]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [c183]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. NeurIPS 2019: 7444-7453 - [c182]Marta Kwiatkowska:
Safety and robustness for deep learning with provable guarantees (keynote). ESEC/SIGSOFT FSE 2019: 2 - [i40]