Sign in
A Formal Metareasoning Model of Concurrent Planning and Execution.
Amihay Elboher
Ava Bensoussan
Erez Karpas
Wheeler Ruml
Shahaf S. Shperberg
Solomon Eyal Shimony
Published in:
AAAI (2023)
Keyphrases
</>
formal model
cost function
probabilistic model
management system
decision theoretic
mathematical model
plan generation
conceptual model
experimental data
statistical model
computational model
high level
theoretical framework
em algorithm
probability distribution
concurrent actions
mixed integer programming model