A Formula-Driven Modular Attack on State Explosion.

Nicoletta De Francesco Antonella Santone

Published in: Int. J. Found. Comput. Sci. (2002)

Keyphrases

multiscale
state space
database
real time
databases
e learning
reinforcement learning
multi agent systems
mobile robot
countermeasures