14 citations · 26 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Symbolic ω-automata with obligations
Luca Di Stefano
Extensions of ω-automata to infinite alphabets typically rely on symbolic guards to keep the transition relation finite, and on registers or memory cells to preserve information fr…
cs.LO2025
Execution and monitoring of HOA automata with HOAX
Luca Di Stefano
We present a tool called Hoax for the execution of ω-automata expressed in the popular HOA format. The tool leverages the notion of trap sets to enable runtime monitoring of any (n…