Back to Results
First PageMeta Content
Mathematical optimization / Systems science / Engineering / Analysis / Vilfredo Pareto / Design of experiments / Systems engineering / Engineering statistics / Pareto efficiency / Optimal design / PRISM model checker / Reliability engineering


RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1
Add to Reading List

Document Date: 2017-09-12 07:46:02


Open Document

File Size: 589,21 KB

Share Result on Facebook
UPDATE