Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Explore the source record for details and available documents.
Sahar Mohajerani↗
Engineering topics
Necmiye Ozay
Publications and source records attributed to Necmiye Ozay.