Formal safety assessment of fishing vessels: risk and maintenance modelling
Modeling and Simulation of Hose-Paradrogue Aerial Refueling Systems
CoRide: Joint Order Dispatching and Fleet Management for Multi-Scale Ride-Hailing Platforms
Scalable Model-based Policy Optimization for Decentralized Networked Systems