HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:convex optimization

Papers
Exploring the Optimization Technology Scheme in Complex Networks for the Cooperative Wireless Communication
Muhammad Umer Mushtaq, Jiang Hong and Muhammad Umair Raza
EasyChair Preprint no. 1026
Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach
Sumeet Singh, Mo Chen, Sylvia Herbert, Claire Tomlin and Marco Pavone
EasyChair Preprint no. 751
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.