Login / Signup
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
Muhammad Usama Sardar
Nida Afaq
Osman Hasan
Khaza Anuarul Hoque
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
formal analysis
formal methods
probabilistic model
belief networks
bayesian networks
posterior probability
uncertain data
generative model
agent model
knowledge base
moving objects
relational databases
ban logic