Reachability Analysis with Assertion Systems.

Published in: Theoretical Computer Science (1981)

Keyphrases

reachability analysis
information retrieval
management system
learning systems
expert systems
low cost
intelligent systems
neural network
computer systems
complex systems
markov decision processes
embedded systems