Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference.
Jie FuHerbert G. TannerJeffrey HeinzJane ChandleePublished in: IEEE Trans. Autom. Control. (2014)
Keyphrases
- finite state
- transition systems
- grammatical inference
- context free
- model checking
- markov chain
- markov decision processes
- finite state transducers
- temporal logic
- concurrent systems
- inductive inference
- finite automata
- partially observable markov decision processes
- optimal control
- optimal policy
- control flow
- model checker
- context free grammars
- policy iteration
- tree automata
- reactive systems
- decentralized control
- average cost
- distributed systems