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-dev.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-dev.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} }
Feedback for Dagstuhl Publishing