Alert button
Picture for Sasha Rubin

Sasha Rubin

Alert button

Università degli Studi di Napoli Federico II, Italy

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Add code
Bookmark button
Alert button
Aug 29, 2023
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Viaarxiv icon

Sufficient reasons for classifier decisions in the presence of constraints

Add code
Bookmark button
Alert button
May 12, 2021
Niku Gorji, Sasha Rubin

Figure 1 for Sufficient reasons for classifier decisions in the presence of constraints
Figure 2 for Sufficient reasons for classifier decisions in the presence of constraints
Figure 3 for Sufficient reasons for classifier decisions in the presence of constraints
Figure 4 for Sufficient reasons for classifier decisions in the presence of constraints
Viaarxiv icon

Equilibria for Games with Combined Qualitative and Quantitative Objectives

Add code
Bookmark button
Alert button
Aug 13, 2020
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael Wooldridge

Figure 1 for Equilibria for Games with Combined Qualitative and Quantitative Objectives
Viaarxiv icon

Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains

Add code
Bookmark button
Alert button
Dec 24, 2019
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

Figure 1 for Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains
Viaarxiv icon

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

Add code
Bookmark button
Alert button
Sep 26, 2019
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin

Figure 1 for Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Viaarxiv icon

Changing Observations in Epistemic Temporal Logic

Add code
Bookmark button
Alert button
Sep 03, 2018
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Figure 1 for Changing Observations in Epistemic Temporal Logic
Figure 2 for Changing Observations in Epistemic Temporal Logic
Figure 3 for Changing Observations in Epistemic Temporal Logic
Viaarxiv icon

Planning and Synthesis Under Assumptions

Add code
Bookmark button
Alert button
Jul 18, 2018
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

Figure 1 for Planning and Synthesis Under Assumptions
Viaarxiv icon

Extended Graded Modalities in Strategy Logic

Add code
Bookmark button
Alert button
Jul 12, 2016
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Viaarxiv icon