4 citations · 13 across the 10 of their papers we have counts for
1 paper · 1 filter
Vince Kurtz, Patrick M. Wensing, Hai Lin
Approximate simulation, an extension of simulation relations from formal methods to continuous systems, is a powerful tool for hierarchical control of complex systems. Finding an a…