Verification in Continuous Time by Discrete Reasoning.
Luca de AlfaroZohar MannaPublished in: AMAST (1995)
Keyphrases
- markov processes
- model checking
- markov chain
- knowledge base
- reasoning tasks
- face verification
- discrete version
- formal verification
- dynamical systems
- knowledge representation
- neural network
- finite number
- data sets
- stochastic processes
- verification method
- state space
- production rules
- formal methods
- automated reasoning
- reasoning process
- reasoning systems
- knowledge representation and reasoning
- multiscale
- bayesian networks