Colimits for Concurrent Collectors.

Dusko Pavlovic Peter Pepper Douglas R. Smith

Published in: Verification: Theory and Practice (2003)

Keyphrases

hierarchical reinforcement learning
real world
control system
website
database systems
multi agent
search algorithm
user interface