No. Title Author Year
1 The Variance-Penalized Stochastic Shortest Path Problem Piribauer, Jakob et al. 2022
2 From Verification to Causality-Based Explications (Invited Talk) Baier, Christel et al. 2021
3 Front Matter, Table of Contents, Preface, Conference Organization Baier, Christel et al. 2021
4 LIPIcs, Volume 183, CSL 2021, Complete Volume Baier, Christel et al. 2021
5 Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking Piribauer, Jakob et al. 2021
6 The Orbit Problem for Parametric Linear Dynamical Systems Baier, Christel et al. 2021
7 On Skolem-Hardness and Saturation Points in Markov Decision Processes Piribauer, Jakob et al. 2020
8 Reachability in Dynamical Systems with Rounding Baier, Christel et al. 2020
9 Front Matter, Table of Contents, Preface, Conference Organization Baier, Christel et al. 2019
10 LIPIcs, Volume 132, ICALP'19, Complete Volume Baier, Christel et al. 2019
11 Composition of Stochastic Transition Systems Based on Spans and Couplings Gburek, Daniel et al. 2016
12 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
13 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
14 Recurrence and Transience for Probabilistic Automata Tracol, Mathieu et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 14


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