Hugo Francon

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Reactive Systems

Top Venues

Inf. Process. Lett.

Publications

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Nathalie Bertrand, Hugo Francon, Nicolas Markey
Synchronizing words under LTL constraints. Inf. Process. Lett. 182 (2023)