Sean Kauffman | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Martin Zimmermann
29 publications
Kim Guldstrand Larsen
8 publications
Thomas Møller Grosen
1 publication

research

∙ 06/29/2022

Monitoring Timed Properties (Revisited)

In this paper we revisit monitoring real-time systems with respect to pr...

0 Thomas Møller Grosen, et al. ∙

research

∙ 02/28/2022

The Complexity of Evaluating nfer

Nfer is a rule-based language for abstracting event streams into a hiera...

0 Sean Kauffman, et al. ∙