Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

DOI10.1007/978-3-319-22975-1_7zbMath1465.68177OpenAlexW2179730552WikidataQ57800714 ScholiaQ57800714MaRDI QIDQ2945585

Paul Kröger, Alessandro Abate, Sebastian Gerwinn, Martin Fränzle, Joost-Pieter Katoen

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parametric probabilistic transition systems for system design and analysis
• Infinite-state invariant checking with IC3 and predicate abstraction
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems
• Statistically Sound Verification and Optimization for Complex Systems
• 10.1162/153244303321897690
• Validation of Stochastic Systems
• LTL Model Checking of Interval Markov Chains
• Probability Inequalities for Sums of Bounded Random Variables
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems