Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances | IEEE Conference Publication | IEEE Xplore