1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2022★ 1 cited
Analyzing Büchi Automata with Graph Neural Networks
Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche +1
Büchi Automata on infinite words present many interesting problems and are used frequently in program verification and model checking. A lot of these problems on Büchi automata are…
cs.LO2001★ 1 cited
Checking Properties within Fairness and Behavior Abstractions
Ulrich Ultes-Nitsche, Pierre Wolper
This paper is motivated by the fact that verifying liveness properties under a fairness condition is often problematic, especially when abstraction is used. It shows that using a m…