Multi-objective parameter synthesis in probabilistic hybrid systems
From MaRDI portal
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Recommendations
- Quantitative multi-objective verification for probabilistic systems
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
- Automated verification and strategy synthesis for probabilistic systems
Cites work
- 10.1162/153244303321897690
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 1332320 (Why is no real title available?)
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- Infinite-state invariant checking with IC3 and predicate abstraction
- LTL model checking of interval Markov chains
- Parametric probabilistic transition systems for system design and analysis
- Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
- Probability Inequalities for Sums of Bounded Random Variables
- Statistically sound verification and optimization for complex systems
- Theoretical Aspects of Computing - ICTAC 2004
- Validation of Stochastic Systems
Cited in
(3)
This page was built for publication: Multi-objective parameter synthesis in probabilistic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945585)
