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:
CoRR (2023)
Keyphrases
</>
formal model
computational model
high level
probabilistic model
experimental data
neural network
learning algorithm
input data
mathematical model
statistical model
formal specification