Authors Search About

Ortiz, James

1 publications

IJCAI 2025 Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy