[HTML] sciencedirect.com

[HTML][HTML] Efficient synthesis of robust models for stochastic systems

R Calinescu, M Češka, S Gerasimou… - Journal of Systems and …, 2018 - Elsevier
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …
被引用次数：62 相关文章
[PDF] researchgate.net

[PDF][PDF] Efficient Synthesis of Robust Models for Stochastic Systems

R Calinescu, M Ceška, S Gerasimou, M Kwiatkowska… - researchgate.net
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …

Efficient Synthesis of Robust Models for Stochastic Systems

RC Calinescu, M Ceska, S Gerasimou… - Journal of Systems …, 2018 - pure.york.ac.uk
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …

Efficient Synthesis of Robust Models for Stochastic Systems

RC Calinescu, M Ceska, S Gerasimou… - Journal of Systems …, 2018 - eprints.whiterose.ac.uk
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …

Efficient synthesis of robust models for stochastic systems

R Calinescu, M Ceska, S Gerasimou… - Journal of Systems …, 2018 - ora.ox.ac.uk
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …
[PDF] whiterose.ac.uk

[PDF][PDF] Efficient Synthesis of Robust Models for Stochastic Systems

R Calinescu, M Ceška, S Gerasimou, M Kwiatkowska… - eprints.whiterose.ac.uk
We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …