A counterexample to Thiagarajan's conjecture on regular event structures.

Jérémie Chalopin Victor Chepoi

Published in: J. Comput. Syst. Sci. (2020)

Keyphrases

model checking
event driven
event recognition
database
real time
event detection
case study
three dimensional
hidden markov models
news articles
news stories
temporal relations