Search Results for author:
Found 8 papers, 0 papers with code
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties.
Sufficient reasons for classifier decisions in the presence of constraints
The main idea is to view classifiers in the presence of constraints as describing partial Boolean functions, i. e., that are undefined on instances that do not satisfy the constraints.
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems.
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains
This important difference has been overlooked in the planning literature, and we argue has led to confusion in a number of published algorithms which use reductions that were stated for state-action fairness, for which they are incorrect, while being correct for stochastic fairness.
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Moreover, for a broad class of problems that involve integer variables that can be increased or decreased, trajectory constraints can be compiled away, reducing generalized planning to fully observable non-deterministic planning.
Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's effects, its fairness, its trajectory constraints).
Changing Observations in Epistemic Temporal Logic
We extend the classic semantics of knowledge for perfect-recall agents to account for changes of observation, and we show that this new operator strictly increases the expressivity of CTL*K. We reduce the model-checking problem for our logic to that for CTL*K, which is known to be decidable.
Extended Graded Modalities in Strategy Logic
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems.
