Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
convex optimization
Publications
Mathematical Models and Formulas for AI in Cybersecurity: a Hybrid Cloud Approach
Lincoln Whitelegge
EasyChair Preprint 15079
A UAV-Based Real-Time Traffic State Estimation System for Urban Road Networks
Kyriacos Theocharides
,
Yiolanda Englezou
,
Charalambos Menelaou
and
Stelios Timotheou
EasyChair Preprint 15023
Exploring the Optimization Technology Scheme in Complex Networks for the Cooperative Wireless Communication
Muhammad Umer Mushtaq
,
Jiang Hong
and
Muhammad Umair Raza
EasyChair Preprint 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 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-2024 easychair.org. All rights reserved.