Hyperfinite Approximations to Labeled Markov Transition Systems.

Ernst-Erich Doberkat

Published in: AMAST (2006)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
markov chain
control flow
practical reasoning
supervised learning
reactive systems
training data
artificial intelligence
training set
markov model
distributed systems
formal specification