Timed Automata with Monotonic Activities.

Ruggero Lanotte Andrea Maggiolo-Schettini

Published in: MFCS (2000)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
human activities
activity recognition
daily life
theorem proving
real time systems
hidden markov models
first order logic
search engine
clustering algorithm
data structure
graphical models
data mining
data sets
real time