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


DROPS-Home | Imprint | Privacy Published by LZI