Finesse Lab wordmark

Publications

IJCAI (to appear) · 2026

Uniform Interpolation Closure for Branching Time Temporal Logics

Renyan Feng, Yisong Wang, Mingsen Deng, Erman Acar

A logic-focused contribution on uniform interpolation closure for branching-time temporal logics.

ICML · 2025

AI for Global Climate Cooperation: Modeling Global Climate Negotiations, Agreements, and Long-Term Cooperation in RICE-N

Tianyu Zhang, Andrew Robert Williams, Phillip Wozny, Kai-Hendrik Cohrs, Koen Ponse, Marco Jiralerspong, Soham Rajesh Phade, Sunil Srinivasa, Lu Li, Yang Zhang, Prateek Gupta, Erman Acar, Irina Rish, Yoshua Bengio, Stephan Zheng

Multiagent climate cooperation and policy design in a high-stakes negotiation setting, relevant for safe and accountable strategic decision-making.