research
∙
08/29/2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
In this paper, we study LTLf synthesis under environment specifications ...
share
research
∙
05/12/2021
Sufficient reasons for classifier decisions in the presence of constraints
Recent work has unveiled a theory for reasoning about the decisions made...
research
∙
09/23/2020
Optimal Strategies in Weighted Limit Games
We prove the existence and computability of optimal strategies in weight...
research
∙
08/26/2020
Optimal Strategies in Weighted Limit Games (full version)
We prove the existence and computability of optimal strategies in weight...
research
∙
08/13/2020
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
12/24/2019
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains
We address two central notions of fairness in the literature of planning...
research
∙
09/26/2019
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
We study the characterization and computation of general policies for fa...
research
∙
01/14/2019
Monadic Second Order Logic with Path-Measure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
research
∙
07/18/2018
Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan b...
research
∙
05/31/2018
Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfect-informatio...
research
∙
05/17/2018
Changing Observations in Epistemic Temporal Logic
We study dynamic changes of agents' observational power in logics of kno...
research
∙
07/12/2016