Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.

Krzysztof Bilinski Erik L. Dagless

Published in: ACSD (1998)

Keyphrases

high level
computationally intensive
state space
computationally expensive
website
control system
complex systems
complex data
parallel execution
real time
real world
reinforcement learning
multi agent systems
general purpose
coarse grained