RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. 14th International Conference on Quantitative Evaluation of Systems . , pp. 304-308.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Dates:
  • Published (online): 11 August 2017
  • Published: 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 02 Jul 2018 15:40
Last Modified: 23 May 2021 10:18
Published Version: https://doi.org/10.1007/978-3-319-66335-7_20
Status: Published
Series Name: 14th International Conference on Quantitative Evaluation of Systems
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-319-66335-7_20

Download

Filename: RODES_A_Robust_Design_Synthesis_Tool_for_Probabilistic_Systems.pdf

Description: RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Share / Export

Statistics