Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

BIB
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