Author of the publication

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)Étalonnage des robots à câbles : identification et qualification. (Certified calibration of parallel cable-driven robots).. University of Nice Sophia Antipolis, France, (2013)Optimal Switching Instants for the Control of Hybrid Systems., , and . Acta Cybern., 24 (3): 449-465 (2020)Spatio-temporal constrained zonotopes for validation of optimal control problems *., , , and . CDC, page 6708-6713. IEEE, (2021)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization., , , and . IROS, page 11321-11327. (2023)Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations.. CoRR, (2019)Set-Membership Computation of Integrals with Uncertain Endpoints., and . NUMTA (2), volume 11974 of Lecture Notes in Computer Science, page 169-181. Springer, (2019)Interval Methods for Model Qualification: Methodology and Advanced Application., , and . Math. Comput. Sci., 8 (3-4): 479-493 (2014)Preface., , and . Acta Cybern., 25 (1): 3 (2021)