4 papers:
FM-2009-PlatzerC #case study #verification- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.
MLDM-2007-NgaiY- Fast-Maneuvering Target Seeking Based on Double-Action Q-Learning (DCKN, NHCY), pp. 653–666.
ICPR-v2-2004-HouZ #3d #algorithm #estimation- Filter Algorithm for 3D Pose Estimation of Maneuvering Target (FH, FZ), pp. 140–144.
SIGAda-2001-EhresmanF- Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck (KLE, JLF), pp. 61–70.
