43 citations · 130 across the 17 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.OC2022
Data-Driven Distributionally Robust Electric Vehicle Balancing for Autonomous Mobility-on-Demand Systems under Demand and Supply Uncertainties
Sihong He, Zhili Zhang, Shuo Han +5
Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the lo…
cs.AI2022
An Intelligent Assistant for Converting City Requirements to Formal Specification
Zirong Chen, Isaac Li, Haoxiang Zhang +3
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal…
cs.AI2022
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Zirong Chen, Isaac Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, m…