Part of the Graphics and Human Computer Interfaces Commons

Works by Sergio Mover in Graphics and Human Computer Interfaces

2017

Compositional Relational Abstraction for Nonlinear Hybrid Systems, Xin Chen, Sergio Mover, Sriram Sankaranarayanan
Computer Science Faculty Publications

Link