The Interpretation of Branching Time Diagrams.

David Jakobsen Peter Øhrstrøm

Published in: ICCS (2016)

Keyphrases

image interpretation
temporal logic
high level
model checking
temporal reasoning
decision making
semantic interpretation
hand drawn
machine learning
multi agent
expert systems
artificial neural networks
image analysis