Automated Verification and Strategy Synthesis for Probabilistic Systems
From MaRDI portal
Publication:5166673
DOI10.1007/978-3-319-02444-8_2zbMath1410.68233OpenAlexW117911312MaRDI QIDQ5166673
No author found.
Publication date: 8 July 2014
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_2
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (8)
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Optimal deterministic controller synthesis from steady-state distributions ⋮ Collaborative models for autonomous systems controller synthesis ⋮ \(L^\ast\)-based learning of Markov decision processes (extended version) ⋮ Probabilistic black-box reachability checking (extended version)
Uses Software
This page was built for publication: Automated Verification and Strategy Synthesis for Probabilistic Systems
