Initial-state detectability and initial-state opacity of unambiguous weighted automata.

Aiwen Lai Sébastien Lahaye Zhiwu Li

Published in: Autom. (2021)

Keyphrases

initial state
situation calculus
state space
action theories
stationary distribution
probability distribution
heuristic function
markov decision process
belief space
image quality
optimal policy
cellular automata
conformant planning
bayesian networks
average cost