Login / Signup
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications.
Ryohei Oura
Toshimitsu Ushio
Published in:
CoRR (2022)
Keyphrases
</>
learning process
reinforcement learning
learning algorithm
learning systems
neural network
online learning
active learning
markov decision processes
learning tasks
temporal logic
inductive inference
formal verification