research
∙
08/29/2023
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
We study best-effort strategies (aka plans) in fully observable nondeter...
share
research
∙
08/29/2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
In this paper, we study LTLf synthesis under environment specifications ...
research
∙
08/29/2023
Symbolic LTLf Best-Effort Synthesis
We consider an agent acting to fulfil tasks in a nondeterministic enviro...
research
∙
06/14/2023
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models
Goal Recognition is the task of discerning the correct intended goal tha...
research
∙
05/20/2023
Abstraction of Nondeterministic Situation Calculus Action Theories – Extended Version
We develop a general framework for abstracting the behavior of an agent ...
research
∙
02/28/2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
One major limitation to the applicability of Reinforcement Learning (RL)...
research
∙
02/07/2023
Act for Your Duties but Maintain Your Rights
Most of the synthesis literature has focused on studying how to synthesi...
research
∙
11/25/2022
Automata Cascades: Expressivity and Sample Complexity
Every automaton can be decomposed into a cascade of basic automata. This...
research
∙
05/18/2022
Mimicking Behaviors in Separated Domains
Devising a strategy to make a system mimicking behaviors from another sy...
research
∙
04/29/2022
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
Our work aims at developing reinforcement learning algorithms that do no...
research
∙
04/21/2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning
We study temporally extended goals expressed in Pure-Past LTL (PPLTL). P...
research
∙
04/08/2022
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning
Fully Observable Non-Deterministic (FOND) planning models uncertainty th...
research
∙
01/30/2022
Augmented Business Process Management Systems: A Research Manifesto
Augmented Business Process Management Systems (ABPMSs) are an emerging c...
research
∙
05/14/2021
Efficient PAC Reinforcement Learning in Regular Decision Processes
Recently regular decision processes have been proposed as a well-behaved...
research
∙
03/22/2021
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models
Goal Recognition is the task of discerning the correct intended goal tha...
research
∙
02/22/2021
Behavioral QLTL
In this paper we introduce Behavioral QLTL, which is a “behavioral” vari...
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
∙
12/17/2019
LTLf Synthesis with Fairness and Stability Assumptions
In synthesis, assumptions are constraints on the environment that rule o...
research
∙
09/26/2019
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
We study the characterization and computation of general policies for fa...
research
∙
07/18/2018
Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan b...
research
∙
07/17/2018
Reinforcement Learning for LTLf/LDLf Goals
MDPs extended with LTLf/LDLf non-Markovian rewards have recently attract...
research
∙
07/12/2018
Hybrid Temporal Situation Calculus
The ability to model continuous change in Reiter's temporal situation ca...
research
∙
07/12/2018
Situation Calculus for Synthesis of Manufacturing Controllers
Manufacturing is transitioning from a mass production model to a manufac...
research
∙
06/25/2017
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)
In Markov Decision Processes (MDPs), the reward obtained in a state depe...
research
∙
09/07/2015
Bounded Situation Calculus Action Theories
In this paper, we investigate bounded action theories in the situation c...
research
∙
04/30/2014
LTLf and LDLf Monitoring: A Technical Report
Runtime monitoring is one of the central tasks to provide operational de...
research
∙
02/04/2014