80 citations · 252 across the 21 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 3 cited
A Formal Metareasoning Model of Concurrent Planning and Execution
Amihay Elboher, Ava Bensoussan, Erez Karpas +3
Agents that plan and act in the real world must deal with the fact that time passes as they are planning. When timing is tight, there may be insufficient time to complete the searc…
math.CO2023
On Existence of Must-Include Paths and Cycles in Undirected Graphs
Yefim Dinitz, Solomon Eyal Shimony
Given an undirected graph and vertices , we study finding whether there exists a simple path from to such that . As a sub-pro…