Timed Automata with Action Durations - From Theory to Implementation.

Souad Guellati Ilham Kitouni Riadh Matmat Djamel-Eddine Saïdouni

Published in: ICIST (2014)

Keyphrases

timed automata
efficient implementation
model checking
theoretical basis
data sets
action recognition
human actions
implementation issues
database
image sequences
video sequences
mobile robot
knowledge representation
formal theory