collaborators

1 paper

cs.FL2025

Efficient Monitoring of Timed Properties

Thomas Møller Grosen, Thomas Møller Grosen, Sean Kauffman +2

In this paper we study monitoring of real-time systems with respect to properties given by a pair of Timed Büchi Automata, one for the property and one for its complement. This inc…