Picture for Sasha Rubin

Sasha Rubin

Università degli Studi di Napoli Federico II, Italy

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

Add code
Nov 14, 2024
Viaarxiv icon

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Add code
Aug 29, 2023
Viaarxiv icon

Sufficient reasons for classifier decisions in the presence of constraints

Add code
May 12, 2021
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
Aug 13, 2020
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
Dec 24, 2019
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
Sep 26, 2019
Figure 1 for Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Viaarxiv icon

Changing Observations in Epistemic Temporal Logic

Add code
Sep 03, 2018
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
Jul 18, 2018
Figure 1 for Planning and Synthesis Under Assumptions
Viaarxiv icon

Extended Graded Modalities in Strategy Logic

Add code
Jul 12, 2016
Viaarxiv icon