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