Dawei Sun

According to our database, Dawei Sun authored at least 19 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Multi-Agent Motion Planning From Signal Temporal Logic Specifications.

Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan

IEEE Robotics Autom. Lett., 2022

Sablas: Learning Safe Control for Black-Box Dynamical Systems.

Zengyi Qin, Dawei Sun, Chuchu Fan

IEEE Robotics Autom. Lett., 2022

OANet: Learning Two-View Correspondences and Geometry Using Order-Aware Network.

Jiahui Zhang, Dawei Sun, Zixin Luo, Anbang Yao, Hongkai Chen, Lei Zhou, Tianwei Shen, Yurong Chen, Long Quan, Hongen Liao

IEEE Trans. Pattern Anal. Mach. Intell., 2022

Learning Certifiably Robust Controllers Using Fragile Perception.

Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra

CoRR, 2022

Cooperative Task and Motion Planning for Multi-Arm Assembly Systems.

Jingkai Chen, Jiaoyang Li, Yijiang Huang, Caelan Reed Garrett, Dawei Sun, Chuchu Fan, Andreas G. Hofmann, Caitlin Mueller, Sven Koenig, Brian C. Williams

CoRR, 2022

Multi-agent Motion Planning from Signal Temporal Logic Specifications.

Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan

CoRR, 2022

NeuReach: Learning Reachability Functions from Simulations.

Dawei Sun, Sayan Mitra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.

Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra

Proceedings of the International Conference on Embedded Software, 2022

2021

Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric.

Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan

CoRR, 2021

Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric.

Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Learning Density Distribution of Reachable States for Autonomous Systems.

Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan

Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.

Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai

Proceedings of the IEEE Conference on Control Technology and Applications, 2021

2020

Knowledge Transfer via Dense Cross-Layer Mutual-Distillation.

Anbang Yao, Dawei Sun

Proceedings of the Computer Vision - ECCV 2020, 2020

Learning Certified Control Using Contraction Metric.

Dawei Sun, Susmit Jha, Chuchu Fan

Proceedings of the 4th Conference on Robot Learning, 2020

2019

Unified Mathematical Model for Multilayer-Multiframe Compressive Light Field Displays Using LCDs.

Jiahui Zhang, Zhencheng Fan, Dawei Sun, Hongen Liao

IEEE Trans. Vis. Comput. Graph., 2019

Optimistic Optimization for Statistical Model Checking with Regret Bounds.

Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai

CoRR, 2019

Learning Two-View Correspondences and Geometry Using Order-Aware Network.

Jiahui Zhang, Dawei Sun, Zixin Luo, Anbang Yao, Lei Zhou, Tianwei Shen, Yurong Chen, Hongen Liao, Long Quan

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Deeply-Supervised Knowledge Synergy.

Dawei Sun, Anbang Yao, Aojun Zhou, Hao Zhao

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019