A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names.

Alan Jeffrey Julian Rathke

Published in: LICS (2000)

Keyphrases

maximum likelihood
keywords
artificial intelligence
real time
theoretical basis
theoretical foundation
theoretical framework
hierarchical reinforcement learning
mutual exclusion
rough sets
multi agent systems
multi agent
reinforcement learning
multiscale
case study
website
computer vision