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