Back to Results
First PageMeta Content
Theoretical computer science / Probability / Formal methods / Logic in computer science / Model checkers / Dynamic programming / Stochastic control / Model checking / Markov decision process / PRISM model checker / Verification / Runtime verification


Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1
Add to Reading List

Document Date: 2012-08-15 08:49:17

Open Document

File Size: 226,93 KB

Share Result on Facebook