Towards Provably Correct Probabilistic Flight Systems.

Elkin Cruz-Camacho Saswata Paul Fotis Kopsaftopoulos Carlos A. Varela

Published in: DDDAS (2020)

Keyphrases

provably correct
real time
formal methods
information retrieval
bayesian networks
expert systems
probability distribution
distributed systems
complex systems
retrieval systems
database systems
knowledge based systems
constraint satisfaction