Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.
Mohammad Hadi ZibaeenejadJun LiuPublished in: IEEE Trans. Autom. Control. (2020)
Keyphrases
- transition systems
- finite state
- model checking
- concurrent systems
- temporal logic
- controller synthesis
- fully observable
- markov chain
- practical reasoning
- control flow
- reactive systems
- model checker
- autonomic computing systems
- formal specification
- markov decision processes
- optimal policy
- machine learning
- partially observable markov decision processes
- dynamic programming
- multi agent
- reinforcement learning
- real time