Finite State Verifiers with Both Private and Public Coins.

M. Utkan Gezer A. C. Cem Say

Published in: ICTCS (2023)

Keyphrases

finite state
markov chain
public private
markov decision processes
model checking
optimal policy
average cost
vector quantizer
state space
machine learning
privacy preserving
partially observable markov decision processes
tree automata
search algorithm
action sets