Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems.

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

Keyphrases

complexity analysis
discrete event systems
cooperative
optimization problems
telecommunication networks
databases
state space
description logics
query answering
machine learning
artificial intelligence
cloud computing
complex systems