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

by Goran Frehse
Citations:186 - 8 self