Correctness and Efficiency Criteria for the Multi-Phase Task Model.

Rémi Meunier Thomas Carle Thierry Monteil

Published in: ECRTS (2022)

Keyphrases

probabilistic model
mathematical model
artificial intelligence
prior knowledge
theoretical analysis
data structure
management system
computational model
theoretical framework
simulation model
formal model
linear model
hybrid model