Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems
Martin Fränzle and Yang Gao and Sebastian Gerwinn
Provably Correct Systems
2017
inbook
Springer International Publishing
NASA Monographs in Systems and Software Engineering
Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems
1--29
Hinchey, Mike and Bowen, Jonathan P. and Olderog, Ernst-Rüdiger
1
OFFIS Autoren
