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 (23)
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

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

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: 2025
Wydawca: TBC -Technical paper under submission
DOI: 10.48550/arxiv.2503.09561focustolearnmore

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

A Unifying Framework for Causal Imitation Learningwith Hidden Confounders

Autorzy: Daqian Shao, Thomas Kleine Buening, Marta Kwiatkowska.
Opublikowane w: Technical report, 2025
Wydawca: TBC

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

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

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 Orvalhoa and 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 (67)
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

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.

Learning Provably Robust Policies in Uncertain Parametric Environments

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

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

Autorzy: Ingy Elsayed-Aly, David Parker and Lu Feng
Opublikowane w: In Proc. 16th International Symposium NASA Formal Methods (NFM'24), 2024
Wydawca: TBC

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

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 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

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

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

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

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

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

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 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

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 et al.
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, 2025

Moja broszura 0 0