Published in: LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019)
Marta Z. Kwiatkowska. Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). In 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 140, pp. 1:1-1:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{kwiatkowska:LIPIcs.CONCUR.2019.1, author = {Kwiatkowska, Marta Z.}, title = {{Safety Verification for Deep Neural Networks with Provable Guarantees}}, booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)}, pages = {1:1--1:5}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-121-4}, ISSN = {1868-8969}, year = {2019}, volume = {140}, editor = {Fokkink, Wan and van Glabbeek, Rob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.1}, URN = {urn:nbn:de:0030-drops-109036}, doi = {10.4230/LIPIcs.CONCUR.2019.1}, annote = {Keywords: Neural networks, robustness, formal verification, Bayesian neural networks} }
Published in: LIPIcs, Volume 55, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
Marta Z. Kwiatkowska. Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk). In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 55, pp. 4:1-4:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{kwiatkowska:LIPIcs.ICALP.2016.4, author = {Kwiatkowska, Marta Z.}, title = {{Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice}}, booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, pages = {4:1--4:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-013-2}, ISSN = {1868-8969}, year = {2016}, volume = {55}, editor = {Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2016.4}, URN = {urn:nbn:de:0030-drops-62285}, doi = {10.4230/LIPIcs.ICALP.2016.4}, annote = {Keywords: Quantitative verification, Stochastic games, Temporal logic, Model checking, Strategy synthesis} }
Published in: LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Marta Kwiatkowska. Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 5:1-5:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{kwiatkowska:LIPIcs.CSL.2024.5, author = {Kwiatkowska, Marta}, title = {{Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms}}, booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}, pages = {5:1--5:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-310-2}, ISSN = {1868-8969}, year = {2024}, volume = {288}, editor = {Murano, Aniello and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.5}, URN = {urn:nbn:de:0030-drops-196471}, doi = {10.4230/LIPIcs.CSL.2024.5}, annote = {Keywords: Stochastic games, neural networks, formal verification, strategy synthesis} }
Published in: LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)
Bengt Jonsson, Marta Kwiatkowska, and Igor Walukiewicz. CONCUR Test-Of-Time Award 2023 (Invited Paper). In 34th International Conference on Concurrency Theory (CONCUR 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 279, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{jonsson_et_al:LIPIcs.CONCUR.2023.1, author = {Jonsson, Bengt and Kwiatkowska, Marta and Walukiewicz, Igor}, title = {{CONCUR Test-Of-Time Award 2023}}, booktitle = {34th International Conference on Concurrency Theory (CONCUR 2023)}, pages = {1:1--1:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-299-0}, ISSN = {1868-8969}, year = {2023}, volume = {279}, editor = {P\'{e}rez, Guillermo A. and Raskin, Jean-Fran\c{c}ois}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.1}, URN = {urn:nbn:de:0030-drops-189953}, doi = {10.4230/LIPIcs.CONCUR.2023.1}, annote = {Keywords: CONCUR Test-of-Time Award} }
Published in: LIPIcs, Volume 241, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, and Rui Yan. Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 4:1-4:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{kwiatkowska_et_al:LIPIcs.MFCS.2022.4, author = {Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel and Yan, Rui}, title = {{Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges}}, booktitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, pages = {4:1--4:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-256-3}, ISSN = {1868-8969}, year = {2022}, volume = {241}, editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.4}, URN = {urn:nbn:de:0030-drops-168026}, doi = {10.4230/LIPIcs.MFCS.2022.4}, annote = {Keywords: Probabilistic model checking, stochastic games, equilibria} }
Published in: Dagstuhl Reports, Volume 5, Issue 11 (2016)
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz. Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). In Dagstuhl Reports, Volume 5, Issue 11, pp. 151-179, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{filieri_et_al:DagRep.5.11.151, author = {Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd}, title = {{Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)}}, pages = {151--179}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {11}, editor = {Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.151}, URN = {urn:nbn:de:0030-drops-58008}, doi = {10.4230/DagRep.5.11.151}, annote = {Keywords: approximation, model checking, performance, probability, program analysis, systems, verification} }
Published in: OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015)
Marta Kwiatkowska. Parameter synthesis for probabilistic real-time systems (Invited Paper). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, p. 16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{kwiatkowska:OASIcs.SynCoP.2015.16, author = {Kwiatkowska, Marta}, title = {{Parameter synthesis for probabilistic real-time systems}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {16--16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.16}, URN = {urn:nbn:de:0030-drops-56062}, doi = {10.4230/OASIcs.SynCoP.2015.16}, annote = {Keywords: Quantitative verification, Timed automata, Parameter synthesis} }
Published in: Dagstuhl Reports, Volume 5, Issue 1 (2015)
Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, and Marta Kwiatkowska. Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). In Dagstuhl Reports, Volume 5, Issue 1, pp. 164-196, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{kounev_et_al:DagRep.5.1.164, author = {Kounev, Samuel and Zhu, Xiaoyun and Kephart, Jeffrey O. and Kwiatkowska, Marta}, title = {{Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041)}}, pages = {164--196}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {5}, number = {1}, editor = {Kounev, Samuel and Zhu, Xiaoyun and Kephart, Jeffrey O. and Kwiatkowska, Marta}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.1.164}, URN = {urn:nbn:de:0030-drops-50385}, doi = {10.4230/DagRep.5.1.164}, annote = {Keywords: autonomic systems, self-adaptive, self-managing, model-driven, architecture-based, systems management, machine learning, feedback-based design} }
Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)
5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Proceedings{turau_et_al:OASIcs.MCPS.2014, title = {{OASIcs, Volume 36, MCPS'14, Complete Volume}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014}, URN = {urn:nbn:de:0030-drops-45403}, doi = {10.4230/OASIcs.MCPS.2014}, annote = {Keywords: Conference proceedings} }
Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)
5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{turau_et_al:OASIcs.MCPS.2014.i, author = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {i--x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.i}, URN = {urn:nbn:de:0030-drops-45174}, doi = {10.4230/OASIcs.MCPS.2014.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)
Marta Kwiatkowska and Alexandru Mereacre. Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 137-140, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{kwiatkowska_et_al:OASIcs.MCPS.2014.137, author = {Kwiatkowska, Marta and Mereacre, Alexandru}, title = {{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {137--140}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.137}, URN = {urn:nbn:de:0030-drops-45317}, doi = {10.4230/OASIcs.MCPS.2014.137}, annote = {Keywords: Pacemakers, Verification, Simulink} }
Published in: Dagstuhl Seminar Proceedings, Volume 10051, Quantitative and Qualitative Analysis of Network Protocols (2010)
Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska. 10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols. In Quantitative and Qualitative Analysis of Network Protocols. Dagstuhl Seminar Proceedings, Volume 10051, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{jonsson_et_al:DagSemProc.10051.1, author = {Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta}, title = {{10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols}}, booktitle = {Quantitative and Qualitative Analysis of Network Protocols}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10051}, editor = {Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.1}, URN = {urn:nbn:de:0030-drops-25186}, doi = {10.4230/DagSemProc.10051.1}, annote = {Keywords: Network protocols, verification, static analysis, quantitative modeling and model checking, graph transformation, process calculi} }
Published in: Dagstuhl Seminar Proceedings, Volume 10051, Quantitative and Qualitative Analysis of Network Protocols (2010)
Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska. 10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols. In Quantitative and Qualitative Analysis of Network Protocols. Dagstuhl Seminar Proceedings, Volume 10051, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{jonsson_et_al:DagSemProc.10051.2, author = {Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta}, title = {{10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols}}, booktitle = {Quantitative and Qualitative Analysis of Network Protocols}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10051}, editor = {Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.2}, URN = {urn:nbn:de:0030-drops-25165}, doi = {10.4230/DagSemProc.10051.2}, annote = {Keywords: Executive summary} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi. Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201). Dagstuhl Seminar Report 379, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{boutilier_et_al:DagSemRep.379, author = {Boutilier, Craig and Haverkort, Boudewijn and Kwiatkowska, Marta and Vardi, Moshe Y.}, title = {{Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)}}, pages = {1--8}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {379}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.379}, URN = {urn:nbn:de:0030-drops-152590}, doi = {10.4230/DagSemRep.379}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi. Probabilistic Methods in Verification (Dagstuhl Seminar 00181). Dagstuhl Seminar Report 273, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
@TechReport{kwiatkowska_et_al:DagSemRep.273, author = {Kwiatkowska, Marta and Herzog, Ulrich and Meinel, Christoph and Vardi, Moshe}, title = {{Probabilistic Methods in Verification (Dagstuhl Seminar 00181)}}, pages = {1--30}, ISSN = {1619-0203}, year = {2000}, type = {Dagstuhl Seminar Report}, number = {273}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.273}, URN = {urn:nbn:de:0030-drops-151581}, doi = {10.4230/DagSemRep.273}, }