Bo Wu
Inner Mongolia University(CN)State Key Laboratory of Respiratory Disease(CN)Guangzhou Medical University(CN)Nanchang Hangkong University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Reinforcement Learning in Robotics, Distributed Control Multi-Agent Systems, Robotic Path Planning Algorithms
Most-Cited Works
- → Is Machine Learning Ready for Traffic Engineering Optimization?(2021)67 cited
- → Joint Inference of Reward Machines and Policies for Reinforcement Learning(2020)55 cited
- → Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications(2017)54 cited
- → Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach(2021)50 cited
- → Communication-aware motion planning for multi-agent systems from signal temporal logic specifications(2017)50 cited
- → RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation(2022)49 cited