Strategy synthesis for partially observable stochastic games with neural perception mechanisms by Kwiatkowska, M

Safety and robustness for deep learning with provable guarantees (invited paper - keynote) by Kwiatkowska, M

Safety and robustness for deep learning with provable guarantees (keynote) by Kwiatkowska, M

Safety verification for deep neural networks with provable guarantees by Kwiatkowska, M

Model checking and strategy synthesis for stochastic games: from theory to practice by Kwiatkowska, M

Cognitive reasoning and trust in human-robot interactions by Kwiatkowska, M

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker) by Kwiatkowska, M

Introduction by Kwiatkowska, M

Robust decision pipelines: opportunities and challenges for AI in business process modelling by Kwiatkowska, M

Advances and challenges of quantitative verification and synthesis for cyber-physical systems by Kwiatkowska, M

Robustness of 3D deep learning in an adversarial setting by Wicker, M, Kwiatkowska, M

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets by Barbot, B, Kwiatkowska, M

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking by Kwiatkowska, M, Ismail, A

Biological pathways as communicating computer systems. by Kwiatkowska, M, Heath, J

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions by Jovanovic, A, Kwiatkowska, M

Towards Communication−Based Steering of Complex Distributed Systems by Draeger, K, Kwiatkowska, M

Quantitative verification and strategy synthesis of stochastic games by Svorenova, M, Kwiatkowska, M

Software Engineering Techniques for the Development of Systems of Systems by Calinescu, R, Kwiatkowska, M

When to trust AI: advances and challenges for certification of neural networks by Kwiatkowska, M, Zhang, X

Reasoning about cognitive trust in stochastic multiagent systems by Kwiatkowska, M, Huang, X