7 citations · 16 across the 15 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 1 cited
CTMCs with Imprecisely Timed Observations
Thom Badings, Matthias Volk, Sebastian Junges +2
Labeled continuous-time Markov chains (CTMCs) describe processes subject to random timing and partial observability. In applications such as runtime monitoring, we must incorporate…
cs.LO2022
Parameter Synthesis in Markov Models: A Gentle Survey
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
This paper surveys the analysis of parametric Markov models whose transitions are labelled with functions over a finite set of parameters. These models are symbolic representations…