( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.

, , , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 531-538. Springer, (2016)

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.

Chuchu Wu

Hua Fan

Fan Zhang

Fan Dai

Min Fan

 

Другие публикации лиц с тем же именем

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models., , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 629-652. Springer, (2020)Multi-Agent Motion Planning From Signal Temporal Logic Specifications., , , и . IEEE Robotics Autom. Lett., 7 (2): 3451-3458 (2022)Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric., , , и . CoRR, (2021)Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric., , , и . L4DC, том 144 из Proceedings of Machine Learning Research, стр. 728-741. PMLR, (2021)Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic., и . IROS, стр. 7205-7212. IEEE, (2022)Learning Density Distribution of Reachable States for Autonomous Systems., , , , и . CoRL, том 164 из Proceedings of Machine Learning Research, стр. 124-136. PMLR, (2021)Learning Certified Control Using Contraction Metric., , и . CoRL, том 155 из Proceedings of Machine Learning Research, стр. 1519-1539. PMLR, (2020)Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. University of Illinois Urbana-Champaign, USA, (2019)Density Constrained Reinforcement Learning., , и . ICML, том 139 из Proceedings of Machine Learning Research, стр. 8682-8692. PMLR, (2021)Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding., , , , и . NeurIPS, (2022)