Login / Signup
Symbolic Verification of Infinite Systems using a Finite Union of DFAs.
Suman Roy
Published in:
SEFM (2004)
Keyphrases
</>
formal methods
asynchronous circuits
databases
neural network
machine learning
complex systems
artificial intelligence
decision making
expert systems
connectionist systems