2 citations · 2 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…