output
20162025
most citedA general anomaly detection framework for fleet-based condition monitoring of machines

70 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Analyzing Value Functions of States in Parametric Markov Chains

Kasper Engelen, Guillermo A. Pérez, Shrisha Rao

Parametric Markov chains (pMC) are used to model probabilistic systems with unknown or partially known probabilities. Although (universal) pMC verification for reachability propert…