NASA NTRS · 67700559539781
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Abstract
The source did not provide an abstract. Follow the original record for more information.
Keep this discovery
Explore connections, maps & timelines
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay. Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. https://ntrs.nasa.gov/citations/67700559539781
Cite the original work for its findings. Save a collection to share your selection of sources.