14th ACM International Conference on Hybrid Systems: Computation and Control Conference

Publications

related documents

Automatic Abstraction of Non-Linear Systems Using Change of Bases Transformations Conference Proceeding