27 citations · 35 across the 7 of their papers we have counts for
1 paper · 1 filter
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…