An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints.
Kun DengYushan ChenCalin BeltaPublished in: IEEE Trans. Autom. Control. (2017)
Keyphrases
- temporal logic
- approximate dynamic programming
- stochastic dynamic programming
- model checking
- multi agent
- linear program
- reinforcement learning
- modal logic
- dynamic constraints
- dynamic programming
- step size
- automata theoretic
- influence diagrams
- linear temporal logic
- temporal knowledge
- mazurkiewicz traces
- multi agent systems
- computation tree logic
- reactive systems
- verification method
- policy iteration
- continuous state
- control policy
- formal specification
- linear programming
- wavelet transform