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