Model Checking Compositional Markov Systems

Beschreibung

Autor*in

Sven Johr

Themen in »Model Checking Compositional Markov Systems«

Continous-Time Markov Decision Processes Interactive Markov Chains Model Checking Nondeterminism Safety-Critical Systems Stochastic Processes Timed Reachability Analysis

Stimmen zu »Model Checking Compositional Markov Systems«

Details

Link teilen