Exploiting robust optimization for interval probabilistic bisimulation
From MaRDI portal
Publication:1693117
DOI10.1007/978-3-319-43425-4_4zbMath1377.68132OpenAlexW2488527493MaRDI QIDQ1693117
Holger Hermanns, Ernst Moritz Hahn, Vahid Hashemi, Andrea Turrini
Publication date: 11 January 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-43425-4_4
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions, Lumpability for uncertain continuous-time Markov chains
