Publications

Formal verification of maneuvering target tracking

• • Mark Moulin
  • Leonid Gluhovsky
  • et al.
• 2003
• AIAA GNC 2003