Old Web
English
Sign In
Acemap
>
Paper
>
Formal Verification Applied to Spacecraft Attitude Control
Formal Verification Applied to Spacecraft Attitude Control
2021
Kendra Lang
Corbin Klett
Kelsey P. Hawkins
Eric Feron
Panagiotis Tsiotras
Sean Phillips
Keywords:
spacecraft attitude control
Formal verification
Control engineering
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
7
References
0
Citations
NaN
KQI
[]