Dawei Sun

Tianjin University — China

Computer Science · Physical Sciences

6h-index227citations32works3.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(5), Reinforcement Learning in Robotics(5), Distributed Control Multi-Agent Systems(3), Machine Learning and Algorithms(3), Advanced Bandit Algorithms Research(3)

Publications32 total

In situ production and precise release of bioactive GM-CSF and siRNA by engineered bacteria for macrophage reprogramming in cancer immunotherapy
Biomaterials·2024· 18 cited
511 A NKG2A antibody-IL-2 mutant fusion protein for cancer immunotherapy
Regular and Young Investigator Award Abstracts·2024Open Access
1072 A novel bi-functional antibody fusion protein for the inhibition of TGFβ pathway in cancer immunotherapy via selective delivery of TGFβ ‘trap’ to CD39-expressing cells
Regular and Young Investigator Award Abstracts·2024Open Access
Implementing Optogenetic-Controlled Bacterial Systems in <i>Drosophila melanogaster</i> for Alleviation of Heavy Metal Poisoning
ACS Synthetic Biology·2024· 4 cited
A microbial-electronic optical communication language for intestinal monitoring and regulation
2024Open Access
Sequential delivery of photosensitizers and checkpoint inhibitors by engineered bacteria for enhanced cancer photodynamic immunotherapy
Biotechnology and Bioengineering·2024· 6 cited
Luminescent ingestible electronic capsules for in vivo regulation of optogenetic engineered bacteria
2024Open Access
Establishing remote communication between human operator and engineered intestinal microbe via bio-electronic optical language
2024· 1 citedOpen Access
Performance test of a half-feed peanut-cleaning picker suitable for clay hill areas in southern China
International journal of agricultural and biological engineering·2024· 1 citedOpen Access
Learning-based Inverse Perception Contracts and Applications
arXiv (Cornell University)·2023Open Access
$\mathsf{HyHooVer}$: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization
IEEE Open Journal of Control Systems·2023Open Access
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2022· 31 citedOpen Access
Multi-Agent Motion Planning From Signal Temporal Logic Specifications
IEEE Robotics and Automation Letters·2022· 91 citedOpen Access
Sablas: Learning Safe Control for Black-Box Dynamical Systems
IEEE Robotics and Automation Letters·2022· 29 citedOpen Access
NeuReach: Learning Reachability Functions from Simulations
Lecture notes in computer science·2022· 13 citedOpen Access
Learning Density Distribution of Reachable States for Autonomous Systems
arXiv (Cornell University)·2021· 4 citedOpen Access
HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization
2021 IEEE Conference on Control Technology and Applications (CCTA)·2021· 2 cited
Learning Density Distribution of Reachable States for Autonomous Systems
5th Annual Conference on Robot Learning·2021· 1 cited
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Learning for Dynamics and Control·2021· 5 cited
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
arXiv (Cornell University)·2021· 2 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Chuchu Fan(7), Lianyue Li(6), Hanjie Wang(6), Sayan Mitra(5), Duo Liu(4), Negin Musavi(4), Geir E. Dullerud(4), Sanjay Shakkottai(4), Xinyu Liu(3), Yanyan Shi(3), Zhijie Feng(3), Sayan Mitra(3), Xinyu Zhang(3), Haoyan Yang(3), Hanxin Wang(3), Taofeng Du(3), Hongtao Lu(3), Yaxin Wang(2), Yali Fan(2), Xinyu Zhang(2)