PHAVer: Algorithmic verification of hybrid systems past HyTech (2005)

by Goran Frehse
Citations:127 - 7 self