Multi-agent verification and control with probabilistic model checking
D Parker - International Conference on Quantitative Evaluation of …, 2023 - Springer
Probabilistic model checking is a technique for formal automated reasoning about software
or hardware systems that operate in the context of uncertainty or stochasticity. It builds upon …
or hardware systems that operate in the context of uncertainty or stochasticity. It builds upon …
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
We study the complexity of the model-checking problem for discrete-timed systems with
arbitrarily many anonymous and identical contributors, with and without a distinguished" …
arbitrarily many anonymous and identical contributors, with and without a distinguished" …
State ordering and classification for analyzing non-sparse large Markov models
M Mohagheghi - The Journal of Supercomputing, 2024 - Springer
Markov chains and Markov decision processes have been widely used to model the
behavior of computer systems with probabilistic aspects. Numerical and iterative methods …
behavior of computer systems with probabilistic aspects. Numerical and iterative methods …