CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
Publié dans:
Journal of Logical and Algebraic Methods in Programming, Numéro Volume 136, January 2024, 100907, 2023, ISSN 2352-2208
Éditeur:
ELSEVIER
DOI:
10.1016/j.jlamp.2023.100907
Auteurs:
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng
Publié dans:
ACM Transactions on Cyber-Physical Systems, 2022, ISSN 2378-962X
Éditeur:
Association for Computing Machinery
DOI:
10.1145/3561059
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Formal Methods in System Design, 2021, ISSN 0925-9856
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10703-020-00356-y
Auteurs:
Rui Yan, Weixian Zhang, Ruiliang Deng, Xiaoming Duan, Zongying Shi,
Yisheng Zhong
Publié dans:
Information Sciences, 2023, ISSN 0020-0255
Éditeur:
Elsevier BV
DOI:
10.1016/j.ins.2023.119459
Auteurs:
Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska
Publié dans:
EEE Journal of Biomedical and Health Informatics (J-BHI), 2022, ISSN 2168-2194
Éditeur:
Institute of Electrical and Electronics Engineers Inc.
Auteurs:
Rui Yan, Xiaoming Duan, Rui Zou, Xin He, Zongying Shi, Francesco Bullo
Publié dans:
Automatica, 2024, ISSN 1873-2836
Éditeur:
Elsevier
DOI:
10.48550/arxiv.2311.02389
Auteurs:
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang
Publié dans:
Journal of Machine Learning Research (JMLR), 2025, ISSN 1533-7928
Éditeur:
JMLR
DOI:
10.48550/arxiv.2408.09262
Auteurs:
Pian Yu, Yulong Gao, Frank J. Jiang, Karl H. Johansson and Dimos V. Dimarogonas
Publié dans:
International Journal of Robotics Research, 2023, ISSN 0278-3649
Éditeur:
SAGE Publications
DOI:
10.1177/02783649231212572
Auteurs:
Luca Cardelli; Marta Kwiatkowska; Luca Laurenti
Publié dans:
Computation, Numéro 9, 107, 2021, ISSN 2079-3197
Éditeur:
MDPI
DOI:
10.3390/computation9100107
Auteurs:
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell
Publié dans:
Journal of Machine Learning Research, 2021, ISSN 1532-4435
Éditeur:
MIT Press
Auteurs:
Wicker, Matthew; Laurenti, Luca; Patane, Andrea; Paoletti, Nicola; Abate, Alessandro; Kwiatkowska, Marta
Publié dans:
Artificial Intelligence, Numéro 8, 2024, ISSN 0004-3702
Éditeur:
Elsevier BV
DOI:
10.48550/arxiv.2310.01951
Auteurs:
Marta Kwiatkowska, Gethin Norman and David Parker
Publié dans:
Annual Review of Control, Robotics, and Autonomous Systems, Numéro 5:1,, 2022, Page(s) 385-410, ISSN 2573-5144
Éditeur:
Annual Review of Control, Robotics, and Autonomous Systems
DOI:
10.1146/annurev-control-042820-010947
Auteurs:
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
Publié dans:
Journal of Machine Learning Research, Numéro 23(146), 2022, Page(s) 1−55, ISSN 2640-3498
Éditeur:
PMLR
Auteurs:
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga and Nils Jansen.
Publié dans:
Journal of Artificial Intelligence Research, Numéro 76, 2023, ISSN 1076-9757
Éditeur:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.1.14253
Auteurs:
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Publié dans:
Information and Computation, 2024, Page(s) 105193, ISSN 0890-5401
Éditeur:
Academic Press
DOI:
10.1016/j.ic.2024.105193
Auteurs:
Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker
Publié dans:
ACM Transactions on Autonomous and Adaptive Systems, 2024, ISSN 1556-4703
Éditeur:
Association for Computing Machinery
DOI:
10.1145/3665499
Auteurs:
Abate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael
Publié dans:
Applied Intelligence, Numéro 51, 2021, Page(s) 6569–6584, ISSN 0924-669X
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10489-021-02658-y
Auteurs:
Rhiannon Falconmore
Publié dans:
PhD thesis, 2022
Éditeur:
University of Oxford
Auteurs:
Gabriel Santos
Publié dans:
PhD thesis, 2021
Éditeur:
University of Oxford
Auteurs:
Edoardo Bacci
Publié dans:
PhD thesis, 2022
Éditeur:
University of Birmingham
Auteurs:
Pascale Gourdeau
Publié dans:
PhD thesis, 2023
Éditeur:
University of Oxford
Auteurs:
Benjie Wang
Publié dans:
PhD thesis, 2023
Éditeur:
University of Oxford
DOI:
10.5287/ora-2anj4dbdx
Auteurs:
Maciej Olejnik
Publié dans:
PhD thesis, 2022
Éditeur:
University of Oxford
Auteurs:
Andrea Patane
Publié dans:
PhD thesis, 2021
Éditeur:
University of Oxford
Auteurs:
Min Wu
Publié dans:
PhD thesis, 2020
Éditeur:
University of Oxford
Auteurs:
Emanuele La Malfa
Publié dans:
PhD thesis, 2023
Éditeur:
University of Oxford
DOI:
10.5287/ora-2a4grvayz
Auteurs:
Matthew Wicker
Publié dans:
PhD thesis, 2022
Éditeur:
University of Oxford
Auteurs:
David Parker, Gethin Norman, Marta Kwiatkowska
Publié dans:
Software, 2023
Éditeur:
n/a
Auteurs:
Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy
Publié dans:
Technical report Presented as poster at the NeurIPS 2019 Machine Learning with Guarantees Workshop., 2020
Éditeur:
Machine Learning
DOI:
10.48550/arxiv.2005.00178
Auteurs:
Emanuele La Malfa, Matthew Wicker, Marta Kwiatkowska
Publié dans:
Technical report, 2023
Éditeur:
arxiv
DOI:
10.48550/arxiv.2210.17406
Auteurs:
Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska
Publié dans:
Technical report, under submission, 2022
Éditeur:
Department of Computer Science University of Oxford
DOI:
10.48550/arxiv.2211.15258
Auteurs:
Thomas Kleine Buening, Jiarui Gan, Debmalya Mandal, Marta Kwiatkowska
Publié dans:
2025
Éditeur:
TBC -Technical paper under submission
DOI:
10.48550/arxiv.2503.09561focustolearnmore
Auteurs:
Aleksandar Petrov, Marta Kwiatkowska
Publié dans:
Technical report, under submission, 2022
Éditeur:
online
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Software, 2020
Éditeur:
n/a
Auteurs:
Matthew Wicker
Publié dans:
Software, 2022
Éditeur:
n/a
Auteurs:
Daqian Shao, Thomas Kleine Buening, Marta Kwiatkowska.
Publié dans:
Technical report, 2025
Éditeur:
TBC
Auteurs:
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Publié dans:
Technical report, under submission, 2023
Éditeur:
Technical report arXiv:2306.17639, arXiv.
DOI:
10.48550/arxiv.2306.17639
Auteurs:
David Parker
Publié dans:
Software, 2022
Éditeur:
n/a
Auteurs:
David Parker, Gethin Norman, Marta Kwiatkowska
Publié dans:
Software, 2023
Éditeur:
n/a
Auteurs:
Jon Vadillo, Roberto Santana, Jose A. Lozano, Marta Kwiatkowska
Publié dans:
Technical report, under submission, 2024
Éditeur:
TBC
DOI:
10.48550/arxiv.2403.13740
Auteurs:
Lorenz, Tobias; Kwiatkowska, Marta; Fritz, Mario
Publié dans:
Technical report, under submission, Numéro 1, 2021
Éditeur:
Technical report - Under submission
DOI:
10.48550/arxiv.2108.11299
Auteurs:
Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
Publié dans:
2025
Éditeur:
TBC
DOI:
10.48550/arxiv.2506.14950focustolearnmore
Auteurs:
David Parker, Gethin Norman, Marta Kwiatkowska
Publié dans:
Software, 2021
Éditeur:
n/a
Auteurs:
Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska
Publié dans:
2025
Éditeur:
TBC - Technical paper under submission
DOI:
10.48550/arxiv.2508.09320
Auteurs:
Daqian Shao, Lukas Fesser, Marta Kwiatkowska
Publié dans:
Technical report, under submission, 2024
Éditeur:
Technical report, under submission
DOI:
10.48550/arxiv.2401.05338
Auteurs:
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Publié dans:
Technical report, under submission, 2024
Éditeur:
TBC
Auteurs:
Anton Björklund, Mykola Zaitsev, Marta Kwiatkowska
Publié dans:
Technical paper, under submission, 2025
Éditeur:
TBC
DOI:
10.48550/arxiv.2505.22798
Auteurs:
Pedro Orvalhoa and Marta Kwiatkowska
Publié dans:
Technical paper under submission, 2025
Éditeur:
TBC
DOI:
10.48550/arxiv.2505.10443
Auteurs:
Maciej Olejnik
Publié dans:
Software and data, 2022
Éditeur:
n/a
Auteurs:
Pedro Orvalho, Marta Kwiatkowska
Publié dans:
2025
Éditeur:
Technical report, pending to be accepted
Auteurs:
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Publié dans:
42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025
Éditeur:
TBC
Auteurs:
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
Publié dans:
Proceedings, International Conference on Artificial Intelligence and Statistics (AISTATS'21), 2021
Éditeur:
PMLR
Auteurs:
Shili Sheng, David Parker and Lu Feng
Publié dans:
In Proc. IEEE International Conference on Robotics and Automation (ICRA'24), 2024
Éditeur:
The final version is forthcoming from IEEE.
Auteurs:
Yannik Schnitzer, Alessandro Abate and David Parker
Publié dans:
In Proc. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'25), 2025
Éditeur:
Springer Nature
Auteurs:
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
Publié dans:
Proc. ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS'22), 2022
Éditeur:
ACM/IEEE International Conference on Cyber-Physical Systems
DOI:
10.48550/arxiv.2105.04662
Auteurs:
Ingy Elsayed-Aly, David Parker and Lu Feng
Publié dans:
In Proc. 16th International Symposium NASA Formal Methods (NFM'24), 2024
Éditeur:
TBC
Auteurs:
Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
Publié dans:
41st. International Conference on Machine Learning (ICML 2024), 2024
Éditeur:
TBC
DOI:
10.48550/arxiv.2405.08498
Auteurs:
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
Publié dans:
Proceedings of IJCAI-25, 2025
Éditeur:
IJCAI-25
Auteurs:
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marielle Stoelinga
Publié dans:
Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022
Éditeur:
AAAI Press
DOI:
10.48550/arxiv.2110.12662
Auteurs:
Emanuele La Malfa, Marta Kwiatkowska
Publié dans:
Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022
Éditeur:
Association for the Advancement of Artificial Intelligence
DOI:
10.48550/arxiv.2112.07605
Auteurs:
Benjie Wang and Marta Kwiatkowska
Publié dans:
26th International Conference on Artificial Intelligence and Statistics, AISTATS'23, Numéro 206, 2023, Page(s) 9488-9498, ISSN 2640-3498
Éditeur:
Journal of Machine Learning Research
DOI:
10.48550/arxiv.2304.08278
Auteurs:
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
Publié dans:
39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), 2024, Page(s) https://conf.researchr.org/home/ase-2024
Éditeur:
TBC
DOI:
10.48550/arxiv.2409.09130
Auteurs:
Marta Kwiatkowska
Publié dans:
In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022), 2022
Éditeur:
Springer
Auteurs:
Tobias Lorenz, Marta Kwiatkowska, Mario Fritz
Publié dans:
The German Conference on Pattern Recognition (GCPR), 2024, Page(s) https://www.gcpr-vmv.de/year/2024
Éditeur:
Springer Nature
DOI:
10.48550/arxiv.2406.11522
Auteurs:
Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
Publié dans:
Proc. at IEEE International Conference on Robotics and Automation (ICRA), 2025
Éditeur:
TBC
Auteurs:
Zhang, Xiyue; Wang, Benjie; Kwiatkowska, Marta
Publié dans:
TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Numéro 30, 2024, ISSN 0302-9743
Éditeur:
Springer
DOI:
10.48550/arxiv.2305.03686
Auteurs:
Daniel Neider, Rajarshi Roy
Publié dans:
In: Jansen, N., et al. Principles of Verification: Cycling the Probabilistic Landscape . Lecture Notes in Computer Science, vol 15262, 2024
Éditeur:
Springer
DOI:
10.48550/arxiv.2501.16274
Auteurs:
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska and Lu Feng
Publié dans:
The IEEE Robotics and Automation Letters (RA-L), 2024
Éditeur:
The IEEE Robotics and Automation Letters (RA-L)
DOI:
10.48550/arxiv.2404.15557
Auteurs:
Marta Kwiatkowska, Xiyue Zhang
Publié dans:
Proceedings of the 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023), 2023
Éditeur:
IEEE
Auteurs:
Benjie Wang, Marta Kwiatkowska
Publié dans:
NeurIPS Workshop on Neuro Causal and Symbolic AI (nCSI), 2022
Éditeur:
NeurIPS
Auteurs:
Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
Publié dans:
Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022
Éditeur:
International Joint Conferences on Artificial Intelligence
DOI:
10.48550/arxiv.2205.05793
Auteurs:
Marta Kwiatkowska
Publié dans:
BPM 2023 Forum, Utrecht, The Netherlands, 2023
Éditeur:
A Springer Nature Computer Science book series.
Auteurs:
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
Publié dans:
6th International Symposium on Formal Methods (FM'24 invited paper), 2024
Éditeur:
Springer
DOI:
10.48550/arxiv.2306.13614
Auteurs:
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
Publié dans:
Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022
Éditeur:
International Joint Conferences on Artificial Intelligence
DOI:
10.48550/arxiv.2205.05763
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos
Publié dans:
In Jansen, N., et al., Principles of Verification: Cycling the Probabilistic Landscape, volume 15262 of LNCS, 2024, Page(s) 126–154
Éditeur:
Springer
DOI:
10.1007/978-3-031-75783-9
Auteurs:
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Publié dans:
37th Conference on Uncertainty in Artificial Intelligence (UAI'21), 2021
Éditeur:
Association for Uncertainty in Artificial Intelligence (AUAI)
Auteurs:
Marta Kwiatkowska
Publié dans:
Proceedings, 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), 2020
Éditeur:
ACM
Auteurs:
Pedro Orvalho, Mikola´s Janota, Vasco Manquinho
Publié dans:
Proc. Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI-25), 2024
Éditeur:
TBC
DOI:
10.48550/arxiv.2502.07786
Auteurs:
Daqian Shao and Marta Kwiatkowska
Publié dans:
32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Numéro n/a, 2023
Éditeur:
IJCAI
Auteurs:
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell
Publié dans:
Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022
Éditeur:
International Joint Conferences on Artificial Intelligence
DOI:
10.48550/arxiv.2205.06127
Auteurs:
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Publié dans:
Proc. 6th Annual Learning for Dynamics & Control Conference, L4DC 2024, 2024
Éditeur:
6th Annual Learning for Dynamics & Control Conference, L4DC 2024
DOI:
10.48550/arxiv.2404.10679focustolearnmore
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Publié dans:
In Proc. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS'22)., Numéro 241 (4), 2022
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2022.4
Auteurs:
Edoardo Bacci, David Parker
Publié dans:
International Symposium NASA Formal Methods (NFM'22)., 2022
Éditeur:
Springer
DOI:
10.48550/arxiv.2201.03698
Auteurs:
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
Publié dans:
NeurIPS 2022, 2022
Éditeur:
NeurIPS paper
Auteurs:
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
Publié dans:
Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22), 2022
Éditeur:
AUAI Press
Auteurs:
Tobias Lorenz, Marta Kwiatkowska and Mario Fritz
Publié dans:
16th ACM Workshop on Artificial Intelligence and Security (AISec 2023), 2023
Éditeur:
AISec 2023
Auteurs:
Edoardo Bacci, David Parker
Publié dans:
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings, Numéro 12288, 2020, Page(s) 231-248, ISBN 978-3-030-57627-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-57628-8_14
Auteurs:
Francesco Quinzan, Ashkan Soleymani, Patrik Jaillet, Cristian R. Rojas, Stefan Bauer
Publié dans:
Fortieth International Conference on Machine Learning, ICML 2023, 2023
Éditeur:
ICML 2023
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Proc. 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), 2020
Éditeur:
Springer
Auteurs:
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretinsky, David Parker, Tim Quatmann, Andrea Turrini and Zhen Zhang
Publié dans:
Proc. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), 2020
Éditeur:
Springer
Auteurs:
Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
Publié dans:
ECML-PKDD 2024- European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD) 2024, 2024
Éditeur:
TBC
DOI:
10.48550/arxiv.2406.10154
Auteurs:
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
Publié dans:
In Proc. 36th Annual Conference on Neural Information Processing Systems (NeurIPS'22), 2022
Éditeur:
NeurIPS 2022
Auteurs:
Benjie Wang, Clare Lyle, Marta Kwiatkowska
Publié dans:
30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021
Éditeur:
IJCAI
Auteurs:
Benjie Wang, Matthew Wicker, Marta Kwiatkowska
Publié dans:
Proc. 39th International Conference on Machine Learning (ICML'22), 2022
Éditeur:
PMLR
Auteurs:
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Vardi
Publié dans:
33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Éditeur:
IJCAI 2024/TBC
DOI:
10.48550/arxiv.2404.16163
Auteurs:
Hannah Rose Kirk, yennie jun, Filippo Volpin, Haider Iqbal, Elias Benussi, Frederic Dreyer, Aleksandar Shtedritski, Yuki Asano
Publié dans:
Advances in Neural Information Processing Systems 34 (NeurIPS 2021), 2021
Éditeur:
PMLR
Auteurs:
Marta Kwiatkowska
Publié dans:
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.1
Auteurs:
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen Roberts
Publié dans:
Proceedings, 59th IEEE Conference on Decision and Control (CDC), 2020
Éditeur:
IEEE
Auteurs:
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker and Nils Jansen
Publié dans:
In Jansen, N., et al., Principles of Verification: Cycling the Probabilistic Landscape, volume 15262 of LNCS, 2024, Page(s) 126–154
Éditeur:
Springer
DOI:
10.48550/arxiv.2411.11451
Auteurs:
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Publié dans:
In Proc. 26th International Symposium on Formal Methods (FM'24), 2024
Éditeur:
Springer
DOI:
10.48550/arxiv.2310.11566
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numéro 12225, 2020, Page(s) 475-487, ISBN 978-3-030-53290-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_25
Auteurs:
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
Publié dans:
Findings of the Association for Computational Linguistics: EMNLP 2020, 2020, Page(s) 2949-2968
Éditeur:
Association for Computational Linguistics
DOI:
10.18653/v1/2020.findings-emnlp.266
Auteurs:
Edoardo Bacci, Mirco Giacobbe, David Parker
Publié dans:
Proceedings, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021
Éditeur:
IJCAI
Auteurs:
David Parker
Publié dans:
Proc. 20th International Conference on Quantitative Evaluation of SysTems (QEST'23), 2023, Page(s) https://www.qest.org/qest2023/
Éditeur:
Spinger
DOI:
10.48550/arxiv.2308.02829
Auteurs:
Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal
Publié dans:
Proc. 39th International Conference on Machine Learning (ICML'22), 2022
Éditeur:
PMLR
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, 2022, ISSN 0302-9743
Éditeur:
Springer
Auteurs:
Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
Publié dans:
Proceedings, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021
Éditeur:
IJCAI
Auteurs:
Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup
Publié dans:
Proceedings of the 37th International Conference on Machine Learning (ICML), 2020
Éditeur:
PMLR 119
Auteurs:
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Publié dans:
Proceedings, 36th Conference on Uncertainty in Artificial Intelligence (UAI 2020), 2020
Éditeur:
PMLR
Auteurs:
Marta Kwiatkowska
Publié dans:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024
Éditeur:
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.csl.2024.5
Auteurs:
Roman Andriushchenko et al.
Publié dans:
TOOLympics III, 2024
Éditeur:
Springer
DOI:
10.48550/arxiv.2405.13583
Auteurs:
Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts
Publié dans:
Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics (AISTATS 2020), 2020
Éditeur:
PMLR
DOI:
10.48550/arxiv.1905.11876
Auteurs:
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Publié dans:
24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025, 2025
Éditeur:
TBC
Auteurs:
Pian Yu, Gianmarco Fedeli and Dimos V. Dimarogonas
Publié dans:
9th International Conference on Control, Decision and Information Technologies (CoDIT 2023), 2023
Éditeur:
EEE Xplore
DOI:
10.48550/arxiv.2307.06000
Auteurs:
Min Wu, Marta Kwiatkowska
Publié dans:
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020, Page(s) 308-317, ISBN 978-1-7281-7168-5
Éditeur:
IEEE
DOI:
10.1109/cvpr42600.2020.00039
Auteurs:
Benjie Wang, Matthew Wicker, Marta Kwiatkowska
Publié dans:
In 5th Workshop on Tractable Probabilistic Modelling (TPM). This paper was accepted for ICML 2022, Numéro 162, 2022, Page(s) 23131-23150
Éditeur:
PMLR
Auteurs:
Yu, Pian; Dong, Shuyang; Sheng, Shili; Feng, Lu; Kwiatkowska, Marta
Publié dans:
2024 IEEE International Conference on Robotics and Automation (ICRA2024), 2024
Éditeur:
IEEE
DOI:
10.48550/arxiv.2310.01163
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker
Publié dans:
Lecture Notes in Computer Science, Principles of Formal Quantitative Analysis, 2025, Page(s) 158-173
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-97439-7_7
Auteurs:
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Publié dans:
Principles of Systems Design, Lecture Notes in Computer Science, 2022, Page(s) 9783031223365, ISBN 978-3-031-22336-5
Éditeur:
Springer
DOI:
10.1007/978-3-031-22337-2_19
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible