Meng Sha

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 4

Top Topics

Backpropagation Algorithm

Simulation Models

Number Of Hidden Units

Top Venues

Publications

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Zehong Hu, Meng Sha, Moath H. A. Jarrah, Jie Zhang, Hui Xi
Efficient Computation of Emergent Equilibrium in Agent-Based Simulation. AAAI (2016)
Meng Sha, Rajagopalan Srinivasan
Fleet sizing in chemical supply chains using agent-based simulation. Comput. Chem. Eng. 84 (2016)
Hui Xi, Chi Keong Goh, Partha Sarathi Dutta, Meng Sha, Jie Zhang
An Agent-based Simulation System for Dynamic Project Scheduling and Online Disruption Resolving. AAMAS (2015)