Congruences and Bisimulations for Continuous-Time Stochastic Logic.
Ernst-Erich DoberkatPublished in: ICTAC (2005)
Keyphrases
- markov processes
- stochastic processes
- markov chain
- state space
- classical logic
- multi valued
- modal logic
- stochastic models
- stochastic optimization
- machine learning
- automated reasoning
- stochastic model
- dynamical systems
- monte carlo
- stochastic process
- learning automata
- logic programming
- optimal control problems
- set theory
- proof theory
- data sets
- epistemic logic
- formal theory
- sound and complete axiomatization
- predicate logic
- digital circuits
- stochastic programming
- nonmonotonic logics
- markov process
- neural network