no code implementations • 5 Apr 2023 • Birgit C. van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task.