Statistical Model Checking , Refinement Checking , Optimization , .. for Stochastic Hybrid Systems
Statistical Model Checking , Refinement Checking , Optimization , .. for Stochastic Hybrid Systems. Kim G. Larsen Peter Bulychev , Alexandre David , Dehui Du, Axel Legay , Guangyuan Li, Marius Mikucionis , Danny B. Poulsen , Amalie Stainer , Zheng Wang.
664 views • 50 slides