No. Title Author Year
1 Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Bacci, Giorgio et al. 2019
2 Partial Order Reduction for Reachability Games Bønneland, Frederik Meyer et al. 2019
3 Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper) Larsen, Kim G. 2019
4 Front Matter, Table of Contents, Preface, Conference Organization Larsen, Kim G. et al. 2017
5 LIPIcs, Volume 83, MFCS'17, Complete Volume Larsen, Kim G. et al. 2017
6 On the Metric-Based Approximate Minimization of Markov Chains Bacci, Giovanni et al. 2017
7 WNetKAT: A Weighted SDN Programming and Verification Language Larsen, Kim G. et al. 2017
8 Probabilistic Mu-Calculus: Decidability and Complete Axiomatization Larsen, Kim G. et al. 2016
9 Parametric Verification of Weighted Systems Christoffersen, Peter et al. 2015
10 Polynomial Time Decidability of Weighted Synchronization under Partial Observability Kretinsky, Jan et al. 2015
11 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
12 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
13 Adaptable Value-Set Analysis for Low-Level Code Brauer, Jörg et al. 2012
14 Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas Cardelli, Luca et al. 2011
15 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
16 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
17 METAMOC: Modular Execution Time Analysis using Model Checking Dalsgaard, Andreas E. et al. 2010
18 A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic Larsen, Kim G. et al. 2009
19 Priced Timed Automata: Theory and Tools Larsen, Kim G. 2009
20 Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work Larsen, Kim G. et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 20


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