No. Title Author Year
1 Probabilistic Methods in Verification (Dagstuhl Seminar 00181) Kwiatkowska, Marta et al. 2021
2 Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201) Boutilier, Craig et al. 2021
3 Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper) Kwiatkowska, Marta Z. 2019
4 Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) Filieri, Antonio et al. 2016
5 Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) Kwiatkowska, Marta Z. 2016
6 Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Kounev, Samuel et al. 2015
7 Parameter synthesis for probabilistic real-time systems (Invited Paper) Kwiatkowska, Marta 2015
8 Automated Verification of Quantitative Properties of Cardiac Pacemaker Software Kwiatkowska, Marta et al. 2014
9 Frontmatter, Table of Contents, Preface, Workshop Organization Turau, Volker et al. 2014
10 OASIcs, Volume 36, MCPS'14, Complete Volume Turau, Volker et al. 2014
11 10051 Abstracts Collection -- Quantitative and Qualitative Analysis of Network Protocols Jonsson, Bengt et al. 2010
12 10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols Jonsson, Bengt et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI