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
Stéphane Lafortune
Publications and source records attributed to Stéphane Lafortune.