Efficiently bounding deadline miss probabilities of Markov chain real-time tasks

Anna Friebe, Filip Markovic, Alessandro V. Papadopoulos, Thomas Nolte. Efficiently bounding deadline miss probabilities of Markov chain real-time tasks. Real-Time Systems, 60(3):443-490, September 2024. [doi]

Abstract

Abstract is missing.