Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
Ryohei OuraToshimitsu UshioAmi SakakibaraPublished in: CoRR (2021)
Keyphrases
- discrete event systems
- timed petri nets
- reinforcement learning
- bounded model checking
- discrete event
- petri net
- direct policy search
- model checking
- complex systems
- transition systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- temporal logic
- concurrent systems
- formal verification
- function approximation
- stochastic approximation
- simulation model
- dynamic systems
- linear temporal logic
- learning algorithm
- program synthesis
- high level
- reactive systems
- optimal policy
- state space
- monte carlo
- finite state
- markov decision processes
- fully observable
- cost effective
- search algorithm
- linear time temporal logic
- multi agent