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
∙
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
∙
07/18/2018
Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan b...
research
∙
07/12/2016