On verification and controller synthesis for probabilistic systems at runtime
<p>Probabilistic model checking is a technique employed for verifying the correctness of computer systems that exhibit probabilistic behaviour. A related technique is controller synthesis, which generates controllers that guarantee the correct behaviour of the system. Not all controllers ca...
Main Author: | Ujma, M |
---|---|
Other Authors: | Kwiatkowska, M |
Format: | Thesis |
Published: |
2015
|
Similar Items
-
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
by: Forejt, V, et al.
Published: (2012) -
Runtime verification in uncertain environment based on probabilistic model learning
by: Ge Zhou, et al.
Published: (2022-09-01) -
Runtime verification for stochastic systems
by: Wilcox, Cristina M
Published: (2010) -
Impartial Anticipation in Runtime-Verification.
by: Dong, W, et al.
Published: (2008) -
Runtime Verification for LTL and TLTL.
by: Bauer, A, et al.
Published: (2011)