Login / Signup

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).

Muhammad Usama SardarNida AfaqOsman HasanKhaza 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