Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian. MIDES: A Tool for Supervisor Synthesis via Active Learning. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 792-797, IEEE, 2021. [doi]
Abstract is missing.