no code implementations • 30 Nov 2020 • Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems.
no code implementations • 26 Feb 2018 • Mostafa Elaraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama
One of the challenges of SLT is the translation from a language without gender agreement to a language with gender agreement such as English to Arabic.