Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization

Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization

Show other versions (1)

Toyota Research Institute (Award ID LP- C000765-SR)

Bibliographic Details
Main Authors: Shen, Shen, Tedrake, Russell L
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: IEEE 2021
Online Access:https://hdl.handle.net/1721.1/137114.2

Internet

https://hdl.handle.net/1721.1/137114.2

Similar Items