RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos orcid.org/0000-0002-2706-5272 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

Item Type: Proceedings Paper
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:
  • Accepted: 30 May 2017
  • 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: 17 Sep 2025 04:33
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
Identification Number: 10.1007/978-3-319-66335-7_20
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: RODES_A_Robust_Design_Synthesis_Tool_for_Probabilistic_Systems.pdf

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

CLICK TO DOWNLOAD [thumbnail of RODES: A Robust-Design Synthesis Tool for Probabilistic Systems]

Export

Statistics


CORE (COnnecting REpositories)