Meng Sha

According to our database, Meng Sha authored at least 5 papers between 2015 and 2021.

Collaborative distances:

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

2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2016

Fleet sizing in chemical supply chains using agent-based simulation.

Meng Sha, Rajagopalan Srinivasan

Comput. Chem. Eng., 2016

Efficient Computation of Emergent Equilibrium in Agent-Based Simulation.

Zehong Hu, Meng Sha, Moath H. A. Jarrah, Jie Zhang, Hui Xi

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

An Agent-based Simulation System for Dynamic Project Scheduling and Online Disruption Resolving.

Hui Xi, Chi Keong Goh, Partha Sarathi Dutta, Meng Sha, Jie Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015