Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Raymond R. Devillers Jean-Yves Didier Hanna Klaudel Johan Arcile

Published in: ISSRE (2014)

Keyphrases

mixed reality
temporal properties
machine learning
real time
artificial intelligence
knowledge base
expert systems
fuzzy logic
inference rules
virtual humans