@misc{indiciae86e9aa40a9a5,
  title = {Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications},
  author = {Sahar Mohajerani and Robi Malik and Andrew Wintenberg and Stéphane Lafortune and Necmiye Ozay},
  url = {https://ntrs.nasa.gov/citations/67700559539781},
  note = {Source identifier: 67700559539781}
}