Stochastic Model Checking

Beschreibung

Stochastic models.- Abstraction techniques.- Stochastic model checking.
Tutorial lectures given by leading scientists Up-to-date results State-of-the-art report

Autor*in

Anne Remke

Themen in »Stochastic Model Checking«

bi-simulation case studies communication protocols concurrent systems markov decision processes mean-field approximation model checking modeling and analysis non-determinism performance modeling probabilistic systems ranomized algorithms stochastic analysis

Stimmen zu »Stochastic Model Checking«

Details

Link teilen