Effective synthesis of switching control
โ
Asarin, E.; Bournez, O.; Dang, T.; Maler, O.; Pnueli, A.
๐
Article
๐
2000
๐
IEEE
๐
English
โ 469 KB