NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
External Source
chorus
Document Type
Version of Record
Authors
Sahar Mohajerani
Robi Malik
Andrew Wintenberg
Stéphane Lafortune
Necmiye Ozay
Date Acquired
October 12, 2026
Publication Information
Publication: Automatica
Publisher: Elsevier BV
Volume: 130
Issue Publication Date: August 1, 2021
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2021.109723
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document