Login / Signup
Simulation-Verification: Biting at the State Explosion Problem.
Douglas A. Stuart
Monica Brockmeyer
Aloysius K. Mok
Farnam Jahanian
Published in:
IEEE Trans. Software Eng. (2001)
Keyphrases
</>
multi agent
real time
model checking
data sets
information retrieval
artificial intelligence
information systems
image segmentation
machine learning
expert systems
information technology
relational databases
user interface
state space
neural network
formal verification
colored petri nets