Part of the Other Computer Sciences Commons

Works by Sergio Mover in Other Computer Sciences

2017

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

Link