Login / Signup
Falsification-based Verification for Multi-Mode Spacecraft Attitude Control Systems.
John Matthew Brewer
Panagiotis Tsiotras
Kendra Lang
Sean Phillips
Published in:
ACC (2021)
Keyphrases
</>
control system
model checking
mission planning
safety analysis
control law
face verification
formal methods
verification method
concurrent systems
attitudes toward
signature verification
deep space
real world
false acceptance rate
multi agent systems
case study
computer vision
machine learning