%0 Journal Article %1 journals/tac/SandenGRB22 %A van der Sanden, Bram %A Geilen, Marc %A Reniers, Michel A. %A Basten, Twan %D 2022 %J IEEE Trans. Autom. Control. %K dblp %N 2 %P 870-885 %T Partial-Order Reduction for Supervisory Controller Synthesis. %U http://dblp.uni-trier.de/db/journals/tac/tac67.html#SandenGRB22 %V 67

@article{journals/tac/SandenGRB22, added-at = {2023-07-27T00:00:00.000+0200}, author = {van der Sanden, Bram and Geilen, Marc and Reniers, Michel A. and Basten, Twan}, biburl = {https://www.bibsonomy.org/bibtex/292839ac40b64e3a000f52f0003c00ad7/dblp}, ee = {https://doi.org/10.1109/TAC.2021.3129161}, interhash = {b9fbcdaeda04af9a3a6d709cd6d307a6}, intrahash = {92839ac40b64e3a000f52f0003c00ad7}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 2, pages = {870-885}, timestamp = {2024-04-08T17:30:16.000+0200}, title = {Partial-Order Reduction for Supervisory Controller Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac67.html#SandenGRB22}, volume = 67, year = 2022 }