research
∙
05/20/2020
Combining Experts' Causal Judgments
Consider a policymaker who wants to decide which intervention to perform...
share
research
∙
11/27/2019
Learning Neural Search Policies for Classical Planning
Heuristic forward search is currently the dominant paradigm in classical...
research
∙
10/12/2019
Minimal Assumptions Refinement for GR(1) Specifications
Reactive synthesis is concerned with finding a correct-by-construction c...
research
∙
10/23/2018
Learning Classical Planning Strategies with Policy Gradient
A common paradigm in classical planning is heuristic forward search. For...
research
∙
05/08/2018
A Weakness Measure for GR(1) Formulae
In spite of the theoretical and algorithmic developments for system synt...
research
∙
07/21/2017