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 (Author), Tedrake, Russell L (Author)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: IEEE, 2021-12-14T13:12:44Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items