Formal abstraction and synthesis of parametric stochastic processes

DOI10.1007/978-3-030-85037-1_9MaRDI QIDQ832046zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 2061729 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• scientific article; zbMATH DE number 775283 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• 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
• Approximate model checking of stochastic hybrid systems
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Model-based formal reliability analysis of grid dynamics with solar energy sources
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Parametric probabilistic transition systems for system design and analysis
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• StocHy - automated verification and synthesis of stochastic processes
• Syntax-guided optimal synthesis for chemical reaction networks
• The complexity of reachability in parametric Markov decision processes
• Theoretical Aspects of Computing - ICTAC 2004
• \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems

Cited in

(5)

• Abstraction for Stochastic Systems by Erlang’s Method of Stages
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
• Parameter synthesis in Markov models: a gentle survey

Describes a project that uses

Uses Software

• StocHy
• AMYTISS
• FAUST2
• Storm
• PRISM

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)