Hao Shi

According to our database, Hao Shi authored at least 9 papers between 2017 and 2024.

Collaborative distances:

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

2024

Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels.

Dong Yang, Hao Shi, Wei Dong, Yanqi Dong, Yong Zhang

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2020

Iterative Controller Synthesis for Multirobot System.

Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou

IEEE Trans. Reliab., 2020

Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms.

Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou

IEEE Trans. Reliab., 2020

Decentralized runtime enforcement for robotic swarms.

Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Fei Deng

Frontiers Inf. Technol. Electron. Eng., 2020

Controller Resynthesis for Multirobot System When Changes Happen.

Hao Shi, Wei Dong, Rui Li, Wanwei Liu

Computer, 2020

Controller Synthesis for ROS-based Multi-Robot Collaboration.

Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.

Rui Li, Hao Shi, Wanwei Liu, Wei Dong

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2017

Optimizing Monitor Code Based on Patterns in Runtime Verification.

Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.

Hao Shi, Wei Dong, Ge Zhou, Liangze Yin

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017