On Active Learning for Supervisor Synthesis. - Ashfaq Farooqui; Ramon Tijsse Claase; Martin Fabian (IEEE Trans Autom. Sci. Eng., 2024)