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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N
Formáid:	Journal article
Foilsithe / Cruthaithe:	Elsevier 2018

Míreanna comhchosúla

RODES: A robust-design synthesis tool for probabilistic systems
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2017)

Designing robust software systems through parametric markov chain synthesis
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Precise Parameter Synthesis for Stochastic Biochemical Systems
de réir: Češka, M, et al.
Foilsithe / Cruthaithe: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
de réir: Češka, M, et al.
Foilsithe / Cruthaithe: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
de réir: Ceska, M, et al.
Foilsithe / Cruthaithe: (2015)

Precise parameter synthesis for stochastic biochemical systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
de réir: Češka, M, et al.
Foilsithe / Cruthaithe: (2016)

Robustness analysis of stochastic biochemical systems
de réir: Česka, M, et al.
Foilsithe / Cruthaithe: (2014)

Robustness analysis of stochastic biochemical systems.
de réir: Milan Ceska, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
de réir: Cauchi, N, et al.
Foilsithe / Cruthaithe: (2019)

Synthesis and verification of delf-aware computing systems
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2017)

Bayesian learning for the robust verification of autonomous robots
de réir: Xingyu Zhao, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Syntax-guided optimal synthesis for chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Model checking and strategy synthesis for stochastic games: from theory to practice
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

Compositional Controller Synthesis for Stochastic Games
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2020)

On guaranteed optimal robust explanations for NLP models
de réir: La Malfa, E, et al.
Foilsithe / Cruthaithe: (2021)

Software Engineering Techniques for the Development of Systems of Systems
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2008)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
de réir: Brim, L, et al.
Foilsithe / Cruthaithe: (2013)

Using Quantitative Analysis to Implement Autonomic IT Systems
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2009)

CADS*: Computer−Aided Development of Self−* Systems
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2009)

Compositional strategy synthesis for stochastic games with multiple objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2017)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanovic, A, et al.
Foilsithe / Cruthaithe: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2014)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems
de réir: Yiming Meng, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2013)

Robust inference of memory structure for efficient quantum modeling of stochastic processes
de réir: Ho, Matthew, et al.
Foilsithe / Cruthaithe: (2020)

Runtime Adaptor Synthesis for Autonomic Systems of Systems
de réir: Calinescu, R
Foilsithe / Cruthaithe: (2010)

Statistical guarantees for the robustness of Bayesian neural networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

Reasoning about cognitive trust in stochastic multiagent systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Distributionally robust control of constrained stochastic systems
de réir: Van Parys, B, et al.
Foilsithe / Cruthaithe: (2016)

Robust execution for stochastic hybrid systems
de réir: Blackmore, Lars James Christopher
Foilsithe / Cruthaithe: (2008)

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2016)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)