Login / Signup
Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems.
Tommaso Masciulli
Giordano Pola
Elena De Santis
Maria Domenica Di Benedetto
Published in:
IEEE Control. Syst. Lett. (2022)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
state space
optimal policy
tree automata
distributed systems
transition probabilities
context free
relevance feedback
image coding
state transition
partially observable markov decision processes