Formal abstraction and synthesis of parametric stochastic processes
From MaRDI portal
Publication:832046
DOI10.1007/978-3-030-85037-1_9OpenAlexW3193948244MaRDI QIDQ832046
Alessandro Abate, Andrea Peruffo
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_9
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximate model checking of stochastic hybrid systems
- Parametric probabilistic transition systems for system design and analysis
- Syntax-guided optimal synthesis for chemical reaction networks
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- The complexity of reachability in parametric Markov decision processes
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
- An Efficient Polynomial Approximation to the Normal Distribution Function and Its Inverse Function
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources
- StocHy - automated verification and synthesis of stochastic processes
- Theoretical Aspects of Computing - ICTAC 2004
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
This page was built for publication: Formal abstraction and synthesis of parametric stochastic processes
