Papers
Second-Order Quantified Boolean Logic
AAAI 2023
The Multi-Agent Transportation Problem
AAAI 2023
AI Planning for Hybrid Systems
IJCAI 2023