3 papers
cs.LG2024
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Kaier Liang, Gustavo A. Cardona, Disha Kamale +1
This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, de…
cs.FL2024
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
Kaier Liang, Cristian-Ioan Vasile
In this paper, we consider fair assignment of complex requests for Mobility-On-Demand systems. We model the transportation requests as temporal logic formulas that must be satisfie…
cs.FL2022
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Kaier Liang, Cristian-Ioan Vasile
Mobility-on-demand systems are transforming the way we think about the transportation of people and goods. Most research effort has been placed on scalability issues for systems wi…