Login / Signup

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.

Yu LuAlice MillerChris W. JohnsonZhaoguang PengTingdi Zhao
Published in: CSE (2014)
Keyphrases
  • model checker
  • model checking
  • formal methods
  • distributed systems
  • image processing
  • knowledge based systems
  • building blocks
  • machine learning
  • search algorithm
  • np hard