Marta Kwiatkowska

Medical University of Warsaw — Poland

Computer Science · Physical Sciences

67h-index19.8kcitations544works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(250), Software Reliability and Analysis Research(89), Advanced Software Engineering Methodologies(61), Adversarial Robustness in Machine Learning(59), Petri Nets in System Modeling(56)

Publications543 total

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
arXiv (Cornell University)·2025Open Access
Probabilistic Model Checking: Applications and Trends
arXiv (Cornell University)·2025Open Access
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
2025
Probabilistic Model Checking: Applications and Trends
Lecture notes in computer science·2025
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
arXiv (Cornell University)·2025Open Access
Double Machine Learning for Conditional Moment Restrictions: IV Regression, Proximal Causal Learning and Beyond
arXiv (Cornell University)·2025Open Access
Uncommon cause and treatment of acute pulmonary embolism
Polskie Archiwum Medycyny Wewnętrznej·2025Open Access
Efficient Preimage Approximation for Neural Network Certification
arXiv (Cornell University)·2025Open Access
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
2025· 1 cited
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
arXiv (Cornell University)·2025Open Access
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
arXiv (Cornell University)·2025Open Access
Learning Algorithms for Verification of Markov Decision Processes
TheoretiCS·2025· 1 citedOpen Access
Strategyproof Reinforcement Learning from Human Feedback
arXiv (Cornell University)·2025Open Access
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
arXiv (Cornell University)·2025Open Access
Causal Imitation Learning under Expert-Observable and Expert-Unobservable Confounding
ArXiv.org·2025Open Access
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
Lecture notes in computer science·2025
Retrospective analysis of health and economic burden among commercially-insured individuals diagnosed with invasive meningococcal disease in the United States
Human Vaccines & Immunotherapeutics·2024· 1 citedOpen Access
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
arXiv (Cornell University)·2024Open Access
Risk-Averse Certification of Bayesian Neural Networks
arXiv (Cornell University)·2024Open Access
Expectation vs. Reality: Towards Verification of Psychological Games
Lecture notes in computer science·2024Open Access
page 1 of 28Next →

Frequent Co-authors

Gethin Norman(28), David Parker(27), Vojtěch Forejt(7), Jeremy Sproston(6), Xiaowei Huang(4), Radu Călinescu(4), Min Wu(3), Roberto Segala(3), Wenjie Ruan(3), Christel Baier(3), Andrew Hinton(2), Raffaela Mirandola(2), J.J.M.M. Rutten(2), Taolue Chen(2), Aistis Simaitis(2), Luca de Alfaro(2), Bożena Bukowska(2), Hongyang Qu(2), Matthew Wicker(2), Sen Wang(1)