Showing cs.FLShow all
3 papers · 1 filter
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.FL2025
Automata-less Monitoring via Trace-Checking (Extended Version)
Andrea Brunello, Luca Geatti, Angelo Montanari +1
In runtime verification, monitoring consists of analyzing the current execution of a system and determining, on the basis of the observed finite trace, whether all its possible con…
cs.FL2024
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
Renato Acampora, Dario Della Monica, Luca Geatti +3
Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative…