Hugo Francon

According to our database, Hugo Francon authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

ltl synthesis under environment specifications for reachability and safety properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Inf. Comput., 2025

2023

Synchronizing words under LTL constraints.

Nathalie Bertrand, Hugo Francon, Nicolas Markey

Inf. Process. Lett., August, 2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

CoRR, 2023

sc ltl_f Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023