Hernán Gagliardi

According to our database, Hernán Gagliardi authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control.

Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel

CoRR, June, 2025

Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control.

Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel

Proceedings of the Computer Aided Verification - 37th International Conference, 2025