| 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 |
Synchronizing Words for Weighted and Timed Automata |
Doyen, Laurent et al. |
2014 |
| 10 |
Adaptable Value-Set Analysis for Low-Level Code |
Brauer, Jörg et al. |
2012 |
| 11 |
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas |
Cardelli, Luca et al. |
2011 |
| 12 |
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic |
Larsen, Kim G. et al. |
2009 |
| 13 |
Priced Timed Automata: Theory and Tools |
Larsen, Kim G. |
2009 |
| 14 |
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work |
Larsen, Kim G. et al. |
2005 |
