3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.FL2026
The -Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
Roberto Borelli, Davide Bresolin, Luca Geatti +2
The cascade product is a fundamental construction in automata theory, enabling hierarchical composition of automata and playing a central role in decomposition results such as the…
cs.FL2022★ 3 cited
Reactive Synthesis for DECLARE via symbolic automata
Luca Geatti, Marco Montali, Andrey Rivkin
Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating control…