×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [state density function]
Home >
state density function
Kim G. Larsen Peter Bulychev, Alexandre David, Dehui Du, Axel Legay, Guangyuan Li, Marius Mikucionis, Danny B. Poulsen, Amalie Stainer, Zheng Wang TexPoint.
214 views
Statistical Model Checking , Refinement Checking , Optimization , .. for Stochastic Hybrid Systems
30 views