Initial-State Observability of Mealy-Based Finite-State Machine With Nondeterministic Output Functions.
Zhipeng ZhangChengyi XiaJun FuZengqiang ChenPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2022)
Keyphrases
- initial state
- finite state machines
- state transition
- state space
- situation calculus
- model checking
- action theories
- optimal policy
- finite state automata
- goal state
- state machine
- belief space
- probability distribution
- markov decision process
- functional units
- database
- conformant planning
- average cost
- hidden markov models
- databases
- modal logic
- multistage
- query processing