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
Sahar Mohajerani
Publications and source records attributed to Sahar Mohajerani.