Robuta

https://arxiv.org/abs/1602.05113 [1602.05113] Parameter Synthesis for Markov Models: Faster Than Ever Abstract page for arXiv paper 1602.05113: Parameter Synthesis for Markov Models: Faster Than Ever markov models 1602 05113 parameter synthesis