Sacha Huriot

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Experimental Evaluation

Estimation Algorithm

Optimal Solution

Top Venues

Publications

Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. CoRR (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. NFM (2024)