Proceedings

Sasha Rubin

14 papers in the IJCAI proceedings

IJCAI 2025

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
with Benjamin Aminof, Giuseppe De Giacomo, Moshe Y. Vardi
doi:10.24963/ijcai.2025/939
Details PDF
Most General Explanations of Tree Ensembles
with Yacine Izza, Akexey Ignatiev, Joao Marques-Silva, Peter J. Stuckey
doi:10.24963/ijcai.2025/608
Details PDF

IJCAI 2024

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
with Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti
doi:10.24963/ijcai.2024/358
Details PDF

IJCAI 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
with Benjamin Aminof, Giuseppe De Giacomo, Florian Zuleger
doi:10.24963/ijcai.2022/350
Details PDF

IJCAI 2021

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up
with Benjamin Aminof, Giuseppe De Giacomo
doi:10.24963/ijcai.2021/243
Details PDF
Reasoning About Agents That May Know Other Agents’ Strategies
with Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano
doi:10.24963/ijcai.2021/246
Details PDF

IJCAI 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
with Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti
doi:10.24963/ijcai.2020/690
Details PDF
Synthesizing strategies under expected and exceptional environment behaviors
with Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano
doi:10.24963/ijcai.2020/232
Details PDF

IJCAI 2019

Probabilistic Strategy Logic
with Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano
doi:10.24963/ijcai.2019/5
Details PDF

IJCAI 2018

Alternating-time Temporal Logic on Finite Traces
with Francesco Belardinelli, Alessio Lomuscio, Aniello Murano
doi:10.24963/ijcai.2018/11
Details PDF
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
with Giuseppe De Giacomo
doi:10.24963/ijcai.2018/657
Details PDF

IJCAI 2017

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
with Blai Bonet, Giuseppe De Giacomo, Hector Geffner
doi:10.24963/ijcai.2017/121
Details PDF
Nash Equilibria in Concurrent Games with Lexicographic Preferences
with Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Michael Wooldridge
doi:10.24963/ijcai.2017/148
Details PDF
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
with Francesco Belardinelli, Alessio Lomuscio, Aniello Murano
doi:10.24963/ijcai.2017/14
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards