M. Kwiatkowska
发表
Joelle Pineau,
Doina Precup,
Yarin Gal,
2020,
ICML.
Varun Kanade,
M. Kwiatkowska,
J. Worrell,
2019
.
A. Turberfield,
M. Kwiatkowska,
T. Ouldridge,
2015,
Nature.
M. Kwiatkowska,
G. Norman,
Jeremy,
2007
.
Moshe Y. Vardi,
M. Yannakakis,
M. Kwiatkowska,
2007
.
M. Kwiatkowska,
D. Parker,
Klaus Dräger,
2014
.
M. Kwiatkowska,
Benjie Wang,
Matthew Wicker,
2022,
ArXiv.
M. Kwiatkowska,
1999
.
M. Kwiatkowska,
G. Norman,
D. Parker,
2018
.
Varun Kanade,
M. Kwiatkowska,
J. Worrell,
2022,
IJCAI.
Emanuele La Malfa,
M. Kwiatkowska,
Nicola Paoletti,
2021,
IJCAI.
Mark Rowland,
Will Dabney,
Clare Lyle,
2022,
ArXiv.
Mario Fritz,
M. Kwiatkowska,
Tobias Lorenz,
2021,
2108.11299.
M. Kwiatkowska,
Chiranjit Chakraborty,
I. Bakkar,
2021
.
M. Kwiatkowska,
E. Scilingo,
A. Greco,
2022,
IEEE journal of biomedical and health informatics.
M. Kwiatkowska,
Benjie Wang,
Matthew Wicker,
2022,
ICML.
Luca Cardelli,
Matthew Wicker,
Luca Laurenti,
2019
.
M. Kwiatkowska,
Milan Ceska,
Frits Dannenberg,
2014
.
Varun Kanade,
M. Kwiatkowska,
J. Worrell,
2022,
Neural Information Processing Systems.
M. Kwiatkowska,
Aleksandar Petrov,
2022,
ArXiv.
M. Kwiatkowska,
Aleksandar Petrov,
2022
.
M. Kwiatkowska,
Benjie Wang,
Artem Velikzhanin,
2022,
ArXiv.
M. Kwiatkowska,
G. Norman,
D. Parker,
2020,
QEST.
Luca Cardelli,
Alessandro Abate,
Morteza Lahijanian,
2020,
IEEE Transactions on Automatic Control.
Gethin Norman,
David Parker,
Marta Kwiatkowska,
2020,
Formal Methods in System Design.
Gabriel Santos,
Gethin Norman,
David Parker,
2020,
CAV.
Clare Lyle,
Marta Kwiatkowska,
Benjie Wang,
2021,
IJCAI.
Xiaowei Huang,
Marta Zofia Kwiatkowska,
M. Kwiatkowska,
2017,
AAAI.
Min Wu,
Natasha Merat,
Morteza Lahijanian,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Stephen J. Roberts,
L. Cardelli,
M. Kwiatkowska,
2019,
ArXiv.
Alessandro Abate,
Milan Ceska,
Marta Z. Kwiatkowska,
2021,
Perform. Evaluation.
Mark van der Wilk,
Yarin Gal,
Clare Lyle,
2020,
ArXiv.
Doina Precup,
Clare Lyle,
Joelle Pineau,
2020,
ICML.
Daniel Kroening,
Xiaowei Huang,
Min Wu,
2019,
IJCAI.
M. Kwiatkowska,
L. Laurenti,
A. Patané,
2020,
UAI.
Ivan Martinovic,
Vincent Lenders,
Marta Kwiatkowska,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
Emanuele La Malfa,
M. Kwiatkowska,
A. Hartshorn,
2020,
FINDINGS.
Luca Cardelli,
Matthew Wicker,
Luca Laurenti,
2019,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Marta Kwiatkowska,
Amani El-rayes,
Steven Nathaniel Minton,
1996
.
Marta Kwiatkowska,
Emanuele La Malfa,
Emanuele La Malfa,
2021,
AAAI.
Julian Gutierrez,
Paul Harrenstein,
Giuseppe Perelli,
2021,
Applied Intelligence.
Aniello Murano,
Benjamin Aminof,
Sasha Rubin,
2019,
IJCAI.
Varun Kanade,
Marta Kwiatkowska,
Pascale Gourdeau,
2019,
Electron. Colloquium Comput. Complex..
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2015,
Biosyst..
Min Wu,
Marta Kwiatkowska,
M. Kwiatkowska,
2019,
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Matthew Wicker,
Zheng Zhang,
Luca Laurenti,
2021,
AISTATS.
Luca Cardelli,
Matthew R. Lakin,
Andrew Phillips,
2012,
Journal of The Royal Society Interface.
Luca Cardelli,
Matthew R. Lakin,
Andrew Phillips,
2022
.
R. Milner,
J. Crowcroft,
M. Chalmers,
2006
.
M. Kwiatkowska,
Benjie Wang,
H. Wijk,
2022,
International Joint Conference on Artificial Intelligence.
M. Kwiatkowska,
Aleksandar Petrov,
2022,
ArXiv.
M. Kwiatkowska,
L. Laurenti,
A. Patané,
2023,
ArXiv.
M. Kwiatkowska,
Benjie Wang,
Xiyue Zhang,
2023,
ArXiv.
Mario Fritz,
M. Kwiatkowska,
Tobias Lorenz,
2021,
2108.11299.
Mario Fritz,
M. Kwiatkowska,
Tobias Lorenz,
2022
.
Stephen J. Roberts,
L. Cardelli,
M. Kwiatkowska,
2019,
AISTATS.
Matthew Wicker,
Nicola Paoletti,
Alessandro Abate,
2021,
UAI.
Varun Kanade,
M. Kwiatkowska,
J. Worrell,
2022,
NeurIPS.
Varun Kanade,
M. Kwiatkowska,
J. Worrell,
2021
.
M. Kwiatkowska,
2023
.
Marta Kwiatkowska,
M. Kwiatkowska,
2014
.
L. Cardelli,
M. Kwiatkowska,
M. Kwiatkowska,
2021,
IEEE Transactions on Automatic Control.
M. Kwiatkowska,
L. Laurenti,
A. Patané,
2023,
ArXiv.
Francisco Eiras,
Morteza Lahijanian,
Marta Kwiatkowska,
2019,
2019 IEEE 2nd Connected and Automated Vehicles Symposium (CAVS).