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