Login / Signup
Amphion/NAV: Deductive Synthesis of State Estimation Software.
Jon Whittle
Jeffrey Van Baalen
Johann Schumann
Peter Robinson
Thomas Pressburger
John Penix
Phil Oh
Michael R. Lowry
Guillaume P. Brat
Published in:
ASE (2001)
Keyphrases
</>
state estimation
state space model
kalman filter
particle filter
kalman filtering
functional programs
visual tracking
software development
dynamic systems
particle filtering
extended kalman filter
cooperative
object oriented