Mar 18, 2024 · We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.

May 26, 2024 · We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.

Jun 4, 2024 · Our proposed algorithm adds another layer of abstraction over the common grid-based discrete abstraction before solving the synthesis problem.

Mar 18, 2024 · Our proposed algorithm adds another layer of abstraction over the common grid-based discrete abstraction before solving the synthesis problem.

Oct 1, 2024 · This paper explores the integration of symbolic and connectionist paradigms within the realm of Large Language Model (LLM)-powered autonomous ...

Apr 8, 2024 · Bibliographic details on Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. H Sibai, S Huriot, T Martin, M Arcak. NASA Formal Methods Symposium, 166-185 ...

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis NASA Formal Methods Symposium (NFM), 2024. Hussein Sibai, Sacha Huriot ...

2024. NFM. Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. Show activities from other conferences. Share. NASA Formal Methods ...

Louis. Contributions. 2024. NFM. Author of Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis within the NFM 2024-track. Share.