Part of the Computer Sciences Commons

Works by Sergio Mover in Computer Sciences

2017

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

Link