20 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2023
RTAEval: A framework for evaluating runtime assurance logic
Kristina Miller, Christopher K. Zeitler, William Shen +2
Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly…
cs.AI2019★ 20 cited
Learning Domain-Independent Planning Heuristics with Hypergraph Networks
William Shen, Felipe Trevizan, Sylvie Thiébaux
We present the first approach capable of learning domain-independent planning heuristics entirely from scratch. The heuristics we learn map the hypergraph representation of the del…