×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [hybrid automatah]
Home >
hybrid automatah
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