@misc{indiciae63af9df1def3,
  title = {Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach},
  author = {Arnett, Timothy and Cook, Brandon and Clark, Matthew and Rattan, Kuldip},
  year = {2017},
  url = {https://ntrs.nasa.gov/citations/20180008608},
  note = {Source identifier: 20180008608}
}