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
Andrew Wintenberg
Publications and source records attributed to Andrew Wintenberg.