Part of the Physical Sciences and Mathematics Commons

Works by Sergio Mover in Physical Sciences and Mathematics

2017

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

Link