Efficient synthesis of robust models for stochastic systems

Efficient synthesis of robust models for stochastic systems

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 development. The pCTMCs generated by our RObust DEsign Synthesis (RODES) method are resilient to changes in the system’s operational...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N
Format:	Journal article
Wydane:	Elsevier 2018

Podobne zapisy

RODES: A robust-design synthesis tool for probabilistic systems
od: Calinescu, R, i wsp.
Wydane: (2017)

Designing robust software systems through parametric markov chain synthesis
od: Kwiatkowska, M, i wsp.
Wydane: (2017)

Precise Parameter Synthesis for Stochastic Biochemical Systems
od: Češka, M, i wsp.
Wydane: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
od: Češka, M, i wsp.
Wydane: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
od: Ceska, M, i wsp.
Wydane: (2015)

Precise parameter synthesis for stochastic biochemical systems
od: Kwiatkowska, M, i wsp.
Wydane: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
od: Češka, M, i wsp.
Wydane: (2016)

Robustness analysis of stochastic biochemical systems
od: Česka, M, i wsp.
Wydane: (2014)

Robustness analysis of stochastic biochemical systems.
od: Milan Ceska, i wsp.
Wydane: (2014-01-01)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
od: Cauchi, N, i wsp.
Wydane: (2019)

Synthesis and verification of delf-aware computing systems
od: Calinescu, R, i wsp.
Wydane: (2017)

Bayesian learning for the robust verification of autonomous robots
od: Xingyu Zhao, i wsp.
Wydane: (2024-01-01)

Syntax-guided optimal synthesis for chemical reaction networks
od: Cardelli, L, i wsp.
Wydane: (2017)

Model checking and strategy synthesis for stochastic games: from theory to practice
od: Kwiatkowska, M
Wydane: (2016)

Compositional Controller Synthesis for Stochastic Games
od: Basset, N, i wsp.
Wydane: (2014)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
od: Laurenti, L, i wsp.
Wydane: (2020)

On guaranteed optimal robust explanations for NLP models
od: La Malfa, E, i wsp.
Wydane: (2021)

Software Engineering Techniques for the Development of Systems of Systems
od: Calinescu, R, i wsp.
Wydane: (2008)

Quantitative verification and strategy synthesis of stochastic games
od: Svorenova, M, i wsp.
Wydane: (2016)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
od: Brim, L, i wsp.
Wydane: (2013)

Using Quantitative Analysis to Implement Autonomic IT Systems
od: Calinescu, R, i wsp.
Wydane: (2009)

CADS*: Computer−Aided Development of Self−* Systems
od: Calinescu, R, i wsp.
Wydane: (2009)

Compositional strategy synthesis for stochastic games with multiple objectives
od: Basset, N, i wsp.
Wydane: (2017)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
od: Kwiatkowska, M
Wydane: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanovic, A, i wsp.
Wydane: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
od: Jovanović, A, i wsp.
Wydane: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanović, A, i wsp.
Wydane: (2014)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
od: Basset, N, i wsp.
Wydane: (2014)

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems
od: Yiming Meng, i wsp.
Wydane: (2023-01-01)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
od: Yan, R, i wsp.
Wydane: (2024)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
od: Chen, T, i wsp.
Wydane: (2013)

Robust inference of memory structure for efficient quantum modeling of stochastic processes
od: Ho, Matthew, i wsp.
Wydane: (2020)

Runtime Adaptor Synthesis for Autonomic Systems of Systems
od: Calinescu, R
Wydane: (2010)

Statistical guarantees for the robustness of Bayesian neural networks
od: Cardelli, L, i wsp.
Wydane: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2022)

Reasoning about cognitive trust in stochastic multiagent systems
od: Kwiatkowska, M, i wsp.
Wydane: (2017)

Distributionally robust control of constrained stochastic systems
od: Van Parys, B, i wsp.
Wydane: (2016)

Robust execution for stochastic hybrid systems
od: Blackmore, Lars James Christopher
Wydane: (2008)

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
od: Abate, A, i wsp.
Wydane: (2016)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
od: Kwiatkowska, M, i wsp.
Wydane: (2017)