4 citations · 4 across the 1 of their papers we have counts for
1 paper
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
The main purpose of this paper is to introduce a first-order temporal logic, LTLFO, and a corresponding monitor construction based on a new type of automaton, called spawning autom…