Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

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

Peer reviewed articles (17)
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks (odnośnik otworzy się w nowym oknie)

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

Planning for Automated Vehicles with Human Trust (odnośnik otworzy się w nowym oknie)

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

Automated Verification of Concurrent Stochastic Systems (odnośnik otworzy się w nowym oknie)

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

Evaluation and learning in two-player symmetric games via best and better response (odnośnik otworzy się w nowym oknie)

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

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States

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.

Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach (odnośnik otworzy się w nowym oknie)

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

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks (odnośnik otworzy się w nowym oknie)

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

Online control synthesis for uncertain systems under signal temporal logic specifications (odnośnik otworzy się w nowym oknie)

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

A Language for Modeling and Optimizing Experimental Biological Protocols (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Cardelli; Marta Kwiatkowska; Luca Laurenti
Opublikowane w: Computation, Numer 9, 107, 2021, ISSN 2079-3197
Wydawca: MDPI
DOI: 10.3390/computation9100107

On the Hardness of Robust Classification

Autorzy: Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell
Opublikowane w: Journal of Machine Learning Research, 2021, ISSN 1532-4435
Wydawca: MIT Press

Probabilistic Reach-Avoid for Bayesian Neural Networks (odnośnik otworzy się w nowym oknie)

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

Probabilistic model checking and autonomy (odnośnik otworzy się w nowym oknie)

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

Adversarial Robustness Guarantees for Gaussian Processes

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

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. (odnośnik otworzy się w nowym oknie)

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

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games (odnośnik otworzy się w nowym oknie)

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

A Framework for Simultaneous Task Allocation and Planning under Uncertainty (odnośnik otworzy się w nowym oknie)

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

Rational verification: game-theoretic verification of multi-agent systems (odnośnik otworzy się w nowym oknie)

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

Thesis and dissertations (10)
On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications

Autorzy: Rhiannon Falconmore
Opublikowane w: PhD thesis, 2022
Wydawca: University of Oxford

Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games

Autorzy: Gabriel Santos
Opublikowane w: PhD thesis, 2021
Wydawca: University of Oxford

Formal Verification of Deep Reinforcement Learning Agents

Autorzy: Edoardo Bacci
Opublikowane w: PhD thesis, 2022
Wydawca: University of Birmingham

Sample complexity of robust learning against evasion attacks

Autorzy: Pascale Gourdeau
Opublikowane w: PhD thesis, 2023
Wydawca: University of Oxford

Tractable probabilistic models for causal learning and reasoning (odnośnik otworzy się w nowym oknie)

Autorzy: Benjie Wang
Opublikowane w: PhD thesis, 2023
Wydawca: University of Oxford
DOI: 10.5287/ora-2anj4dbdx

Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming

Autorzy: Maciej Olejnik
Opublikowane w: PhD thesis, 2022
Wydawca: University of Oxford

On the Adversarial Robustness of Gaussian Processes

Autorzy: Andrea Patane
Opublikowane w: PhD thesis, 2021
Wydawca: University of Oxford

Robustness Evaluation of Deep Neural Networks with Provable Guarantees

Autorzy: Min Wu
Opublikowane w: PhD thesis, 2020
Wydawca: University of Oxford

On Robustness for Natural Language Processing (odnośnik otworzy się w nowym oknie)

Autorzy: Emanuele La Malfa
Opublikowane w: PhD thesis, 2023
Wydawca: University of Oxford
DOI: 10.5287/ora-2a4grvayz

Adversarial robustness of Bayesian neural networks

Autorzy: Matthew Wicker
Opublikowane w: PhD thesis, 2022
Wydawca: University of Oxford

Other (26)
PRISM 4.8

Autorzy: David Parker, Gethin Norman, Marta Kwiatkowska
Opublikowane w: Software, 2023
Wydawca: n/a

On the Benefits of Invariance in Neural Networks (odnośnik otworzy się w nowym oknie)

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

Emergent Linguistic Structures in Neural Networks are Fragile (odnośnik otworzy się w nowym oknie)

Autorzy: Emanuele La Malfa, Matthew Wicker, Marta Kwiatkowska
Opublikowane w: Technical report, 2023
Wydawca: arxiv
DOI: 10.48550/arxiv.2210.17406

PREMAP

Autorzy: Xiyue Zhang
Opublikowane w: Software, 2025
Wydawca: n/a

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits

Autorzy: Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho
Opublikowane w: 2025
Wydawca: arxiv

Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation (odnośnik otworzy się w nowym oknie)

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

Robustness of Unsupervised Representation Learning without Labels

Autorzy: Aleksandar Petrov, Marta Kwiatkowska
Opublikowane w: Technical report, under submission, 2022
Wydawca: online

PRISM-games 3.0 and 3.1

Autorzy: Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Opublikowane w: Software, 2020
Wydawca: n/a

DeepBayes

Autorzy: Matthew Wicker
Opublikowane w: Software, 2022
Wydawca: n/a

Point-based Value Iteration for Neuro-Symbolic POMDPs (odnośnik otworzy się w nowym oknie)

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

SafeDRL

Autorzy: David Parker
Opublikowane w: Software, 2022
Wydawca: n/a

PRISM-games 3.2

Autorzy: David Parker, Gethin Norman, Marta Kwiatkowska
Opublikowane w: Software, 2023
Wydawca: n/a

Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks (odnośnik otworzy się w nowym oknie)

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

Uncertify: Attacks Against Neural Network Certification (odnośnik otworzy się w nowym oknie)

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

Double Machine Learning for Conditional Moment Restrictions: IV regression, Proximal Causal Learning and Beyond (odnośnik otworzy się w nowym oknie)

Autorzy: Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
Opublikowane w: 2025
Wydawca: TBC
DOI: 10.48550/arxiv.2506.14950focustolearnmore

PRISM 4.7

Autorzy: David Parker, Gethin Norman, Marta Kwiatkowska
Opublikowane w: Software, 2021
Wydawca: n/a

PRISM 4.9

Autorzy: David Parker
Opublikowane w: Software, 2025
Wydawca: n/a

Human-in-the-Loop Oversight of AI is Compromised by Political Preferences

Autorzy: Terence Daniel Dores Cruz, Christopher Starke, Tim Katzke, Emmanuel Müller, Marta Kwiatkowska, Orly Lobel, Nils Köbis and Shaul Shalvi
Opublikowane w: 2025
Wydawca: PsyArXiv

Exact Verification of Graph Neural Networks with Incremental Constraint Solving (odnośnik otworzy się w nowym oknie)

Autorzy: Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska
Opublikowane w: 2025
Wydawca: TBC - Technical paper under submission
DOI: 10.48550/arxiv.2508.09320

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers (odnośnik otworzy się w nowym oknie)

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

Learning Algorithms for Verification of Markov Decision Processes

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

PRISM-games 3.2.1

Autorzy: David Parker
Opublikowane w: Software, 2025
Wydawca: n/a

Efficient Preimage Approximation for Neural Network Certification (odnośnik otworzy się w nowym oknie)

Autorzy: Anton Björklund, Mykola Zaitsev, Marta Kwiatkowska
Opublikowane w: Technical paper, under submission, 2025
Wydawca: TBC
DOI: 10.48550/arxiv.2505.22798

Are Large Language Models Robust in UnderstandingCode Against Semantics-Preserving Mutations? (odnośnik otworzy się w nowym oknie)

Autorzy: Pedro Orvalho, Marta Kwiatkowska
Opublikowane w: Technical paper under submission, 2025
Wydawca: TBC
DOI: 10.48550/arxiv.2505.10443

webppl-cognitive-agents

Autorzy: Maciej Olejnik
Opublikowane w: Software and data, 2022
Wydawca: n/a

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

Autorzy: Pedro Orvalho, Marta Kwiatkowska
Opublikowane w: 2025
Wydawca: Technical report, pending to be accepted

Conference proceedings (71)
The Complexity of Learning Temporal Properties

Autorzy: Benjamin Bordais, Daniel Neider, Rajarshi Roy
Opublikowane w: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025
Wydawca: TBC

Bayesian Inference with Certifiable Adversarial Robustness

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

Safe POMDP Online Planning via Shielding (odnośnik otworzy się w nowym oknie)

Autorzy: Shili Sheng, David Parker, Lu Feng
Opublikowane w: In Proc. IEEE International Conference on Robotics and Automation (ICRA'24), 2024
Wydawca: The final version is forthcoming from IEEE.
DOI: 10.48550/arxiv.2309.10216

Learning Provably Robust Policies in Uncertain Parametric Environments

Autorzy: Yannik Schnitzer, Alessandro Abate, 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

Multi-Objective Controller Synthesis with Uncertain Human Preferences (odnośnik otworzy się w nowym oknie)

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

Distributional Probabilistic Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Ingy Elsayed-Aly, David Parker, Lu Feng
Opublikowane w: In Proc. 16th International Symposium NASA Formal Methods (NFM'24), 2024, ISSN 0302-9743
Wydawca: Springer
DOI: 10.48550/arxiv.2309.05584

Learning Decision Policies with Instrumental Variables through Double Machine Learning. (odnośnik otworzy się w nowym oknie)

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

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Autorzy: Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
Opublikowane w: Proceedings of IJCAI-25, 2025
Wydawca: IJCAI-25

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise (odnośnik otworzy się w nowym oknie)

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

Strategyproof Reinforcement Learning from Human Feedback (odnośnik otworzy się w nowym oknie)

Autorzy: Thomas Kleine Buening, Jiarui Gan, Debmalya Mandal, Marta Kwiatkowska
Opublikowane w: Proc. 39th Annual Conference on Neural Information Processing Systems (NeurIPS'25), 2025
Wydawca: NeurIPS
DOI: 10.48550/arxiv.2503.09561focustolearnmore

The King is Naked: on the Notion of Robustness for Natural Language Processing (odnośnik otworzy się w nowym oknie)

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

Compositional Probabilistic and Causal Inference using Tractable Circuit Models (odnośnik otworzy się w nowym oknie)

Autorzy: Benjie Wang, 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

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection (odnośnik otworzy się w nowym oknie)

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

Robustness Guarantees for Bayesian Neural Networks (invited extended abstract of a keynote speaker)

Autorzy: Marta Kwiatkowska
Opublikowane w: In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022), 2022
Wydawca: Springer

A Unifying Framework for Causal Imitation Learningwith Hidden Confounders (odnośnik otworzy się w nowym oknie)

Autorzy: Daqian Shao, Thomas Kleine Buening, Marta Kwiatkowska.
Opublikowane w: Workshop on Spurious Correlation and Shortcut Learning: Foundations and Solutions, Workshop at The International Conference on Learning Representations (ICLR) 2025, 2025
Wydawca: OpenReview
DOI: 10.48550/arxiv.2502.07656

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks (odnośnik otworzy się w nowym oknie)

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

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

Autorzy: Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
Opublikowane w: Proc. at IEEE International Conference on Robotics and Automation (ICRA), 2025
Wydawca: TBC

Provable Preimage Under-Approximation for Neural Networks (odnośnik otworzy się w nowym oknie)

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

What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications (odnośnik otworzy się w nowym oknie)

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

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction (odnośnik otworzy się w nowym oknie)

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

When to trust AI: advances and challenges for certification of neural networks

Autorzy: Marta Kwiatkowska, Xiyue Zhang
Opublikowane w: Proceedings of the 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023), 2023
Wydawca: IEEE

Symbolic Causal Inference via Operations on Probabilistic Circuits

Autorzy: Benjie Wang, Marta Kwiatkowska
Opublikowane w: NeurIPS Workshop on Neuro Causal and Symbolic AI (nCSI), 2022
Wydawca: NeurIPS

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. (odnośnik otworzy się w nowym oknie)

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

Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling

Autorzy: Marta Kwiatkowska
Opublikowane w: BPM 2023 Forum, Utrecht, The Netherlands, 2023
Wydawca: A Springer Nature Computer Science book series.

Adversarial Robustness Certification for Bayesian Neural Networks (odnośnik otworzy się w nowym oknie)

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

Individual Fairness Guarantees for Neural Networks (odnośnik otworzy się w nowym oknie)

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

Expectation vs. Reality: Towards Verification of Psychological Games (odnośnik otworzy się w nowym oknie)

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

Certification of Iterative Predictions in Bayesian Neural Networks

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)

Safety and Robustness for Deep Learning with Provable Guarantees

Autorzy: Marta Kwiatkowska
Opublikowane w: Proceedings, 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), 2020
Wydawca: ACM

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization (odnośnik otworzy się w nowym oknie)

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

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees (odnośnik otworzy się w nowym oknie)

Autorzy: Daqian Shao, Marta Kwiatkowska
Opublikowane w: 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Numer n/a, 2023
Wydawca: IJCAI
DOI: 10.24963/ijcai.2023/465

Sample complexity bounds for robustly learning decision lists against evasion attacks (odnośnik otworzy się w nowym oknie)

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

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms (odnośnik otworzy się w nowym oknie)

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

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. (odnośnik otworzy się w nowym oknie)

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

Verified Probabilistic Policies for Deep Reinforcement Learning (odnośnik otworzy się w nowym oknie)

Autorzy: Edoardo Bacci, David Parker
Opublikowane w: International Symposium NASA Formal Methods (NFM'22)., 2022
Wydawca: Springer
DOI: 10.48550/arxiv.2201.03698

When are Local Queries Useful for Robust Learning?https://papers.nips.cc/paper_files/paper/2022/hash/db6461eaf0eaeaad1d9c4a70e4818cbd-Abstract-Conference.html

Autorzy: Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
Opublikowane w: NeurIPS 2022, 2022
Wydawca: NeurIPS paper

Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games

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

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Autorzy: Tobias Lorenz, Marta Kwiatkowska and Mario Fritz
Opublikowane w: 16th ACM Workshop on Artificial Intelligence and Security (AISec 2023), 2023
Wydawca: AISec 2023

Probabilistic Guarantees for Safe Deep Reinforcement Learning (odnośnik otworzy się w nowym oknie)

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

DRCFS: Doubly Robust Causal Feature Selection

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

Multi-player Equilibria Verification for Concurrent Stochastic Games

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

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

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

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks (odnośnik otworzy się w nowym oknie)

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

Robust anytime learning of Markov decision processes (odnośnik otworzy się w nowym oknie)

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
DOI: 10.48550/arxiv.2205.15827

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs.

Autorzy: Tobias Lorenz, Marta Kwiatkowska and Mario Fritz
Opublikowane w: Proc. 39th Annual Conference on Neural Information Processing Systems (NeurIPS'25), 2025
Wydawca: Curran Associates

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions

Autorzy: Benjie Wang, Clare Lyle, Marta Kwiatkowska
Opublikowane w: 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021
Wydawca: IJCAI

Tractable Uncertainty for Structure Learning

Autorzy: Benjie Wang, Matthew Wicker, Marta Kwiatkowska
Opublikowane w: Proc. 39th International Conference on Machine Learning (ICML'22), 2022
Wydawca: PMLR

The Trembling-Hand Problem for LTLf Planning (odnośnik otworzy się w nowym oknie)

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

Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models

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

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper) (odnośnik otworzy się w nowym oknie)

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

Safety Guarantees for Iterative Predictions with Gaussian Processes

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

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet (odnośnik otworzy się w nowym oknie)

Autorzy: Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, 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

Efficient Solution and Learning of Robust Factored MDPs

Autorzy: Yannik Schnitzer, Alessandro Abate, David Parker
Opublikowane w: Proc. 40th AAAI Conference on Artificial Intelligence (AAAI'26), 2026
Wydawca: AAAI

Partially Observable Stochastic Games with Neural Perception Mechanisms (odnośnik otworzy się w nowym oknie)

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

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time (odnośnik otworzy się w nowym oknie)

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

Assessing Robustness of Text Classification through Maximal Safe Radius Computation (odnośnik otworzy się w nowym oknie)

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

Verifying Reinforcement Learning up to Infinity

Autorzy: Edoardo Bacci, Mirco Giacobbe, David Parker
Opublikowane w: Proceedings, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021
Wydawca: IJCAI

Multi-agent verification and control with probabilistic model checking (odnośnik otworzy się w nowym oknie)

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

Learning Dynamics and Generalization in Reinforcement Learning

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

Correlated equilibria and fairness in concurrent stochastic games

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

On Guaranteed Optimal Robust Explanations for NLP Models

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

Invariant Causal Prediction for Block MDPs

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

Probabilistic Safety for Bayesian Neural Networks

Autorzy: Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Opublikowane w: Proceedings, 36th Conference on Uncertainty in Artificial Intelligence (UAI 2020), 2020
Wydawca: PMLR

Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (odnośnik otworzy się w nowym oknie)

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

Tools at the Frontiers of Quantitative Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Opublikowane w: TOOLympics III, 2024
Wydawca: Springer
DOI: 10.48550/arxiv.2405.13583

Adversarial Robustness Guarantees for Classification with Gaussian Processes (odnośnik otworzy się w nowym oknie)

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

Probabilistic Timed ATL

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

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments (odnośnik otworzy się w nowym oknie)

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

Robustness Guarantees for Deep Neural Networks on Videos (odnośnik otworzy się w nowym oknie)

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

Tractable Uncertainty for Structure Learning

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

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications (odnośnik otworzy się w nowym oknie)

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

Book chapters (2)
Probabilistic Model Checking: Applications and Trends (odnośnik otworzy się w nowym oknie)

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

Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games (odnośnik otworzy się w nowym oknie)

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

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 21 Maja 2025

Moja broszura

Permalink: https://cordis.europa.eu/project/id/834115/results/pl

European Union, 2026

Moja broszura 0 0