TY  - RPRT
TI  - Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach
AU  - Arnett, Timothy
AU  - Cook, Brandon
AU  - Clark, Matthew A.
AU  - Rattan, Kuldip
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170000828
ID  - 20170000828
ER  -