Finite state verifiers with both private and public coins.

M. Utkan Gezer A. C. Cem Say

Published in: CoRR (2023)

Keyphrases

finite state
markov chain
public private
markov decision processes
model checking
optimal policy
transition systems
tree automata
average cost
public organizations
machine learning
context free
privacy preserving
vector quantizer
sufficient conditions
image compression
reinforcement learning
learning algorithm