Login / Signup

Compositional Relational Abstraction for Nonlinear Hybrid Systems.

Xin ChenSergio MoverSriram Sankaranarayanan
Published in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases