TY  - RPRT
TI  - Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
AU  - Sahar Mohajerani
AU  - Robi Malik
AU  - Andrew Wintenberg
AU  - Stéphane Lafortune
AU  - Necmiye Ozay
UR  - https://ntrs.nasa.gov/citations/67700559539781
ID  - 67700559539781
ER  -