VojtechRehak
I am an associate professor at Faculty of Informatics, Masaryk University.
Faculty of Informatics, Masaryk UniversityBrno, Czech Republic
Pinned Repositories
eshop-varhany
prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
storm-gsmp
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
VojtechRehak's Repositories
VojtechRehak/prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
VojtechRehak/storm-gsmp
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).