Dr Forejt researches probabilistic verification. More broadly, he studies systems which involve random variables or decision making. He develops methods for formally proving properties of such systems, measuring their performance, and assessing their reliability. The systems which he studies are usually described as Markov chains, Markov decision processes, or their extensions.
- Performance optimisation
- Markov chains