According to our database1, Pengyi Shi authored at least 8 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Robustness-driven Exploration with Probabilistic Metric Temporal Logic.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021
Queueing Syst. Theory Appl., 2020
Manuf. Serv. Oper. Manag., 2019
A Two-Time-Scale Approach to Time-Varying Queues in Hospital Inpatient Flow Management.
Oper. Res., 2017
Models and Insights for Hospital Inpatient Operations: Time-Dependent ED Boarding Time.
Manag. Sci., 2016