Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones.

Published in: Tech. Sci. Informatiques (2003)

Keyphrases

plan recognition
decision theoretic
ieee trans
neural network
real world
information retrieval
artificial intelligence
website
multi agent
human activities
hybrid algorithm
world model
agent behavior
explicitly represent