On Cyclic Finite-State Approximation of Data-Driven Systems.

Published in: CoRR (2019)

Keyphrases

finite state
data driven
markov chain
model checking
policy iteration algorithm
distributed systems
tree automata
information retrieval
multi agent
optimal policy