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
∙
02/07/2023
Act for Your Duties but Maintain Your Rights
Most of the synthesis literature has focused on studying how to synthesi...
research
∙
05/18/2022
Mimicking Behaviors in Separated Domains
Devising a strategy to make a system mimicking behaviors from another sy...
research
∙
12/17/2019
LTLf Synthesis with Fairness and Stability Assumptions
In synthesis, assumptions are constraints on the environment that rule o...
research
∙
01/18/2019
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
Translating formulas of Linear Temporal Logic (LTL) over finite traces, ...
research
∙
09/21/2017
A Symbolic Approach to Safety LTL Synthesis
Temporal synthesis is the automated design of a system that interacts wi...
research
∙
05/23/2017