no code implementations • 4 Jul 2024 • Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert
First, we develop a multi-layered discretization-based approach with variable precision by combining abstraction layers with different precision parameters.
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.
