Formal abstraction and synthesis of parametric stochastic processes
From MaRDI portal
Publication:832046
DOI10.1007/978-3-030-85037-1_9OpenAlexW3193948244MaRDI QIDQ832046FDOQ832046
Authors: Andrea Peruffo, Alessandro Abate 
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_9
Cites Work
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- StocHy - automated verification and synthesis of stochastic processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Title not available (Why is that?)
- Theoretical Aspects of Computing - ICTAC 2004
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- Approximate model checking of stochastic hybrid systems
- Title not available (Why is that?)
- The complexity of reachability in parametric Markov decision processes
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Syntax-guided optimal synthesis for chemical reaction networks
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- An Efficient Polynomial Approximation to the Normal Distribution Function and Its Inverse Function
- Model-based formal reliability analysis of grid dynamics with solar energy sources
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
- Parametric probabilistic transition systems for system design and analysis
Cited In (5)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- Parameter synthesis in Markov models: a gentle survey
Uses Software
This page was built for publication: Formal abstraction and synthesis of parametric stochastic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832046)
