Sacha Huriot

According to our database¹, Sacha Huriot authored at least 2 papers in 2024.

Collaborative distances:

Timeline

2024

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions.

[BibT_eX]

[DOI]

CoRR, 2024

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024