Login / Signup

Tool support for learning Büchi automata and linear temporal logic.

Yih-Kuen TsayYu-Fang ChenMing-Hsien TsaiKang-Nien WuWen-Chin ChanChi-Jian LuoJinn-Shu Chang
Published in: Formal Aspects Comput. (2009)
Keyphrases
  • learning algorithm
  • reinforcement learning
  • tool support
  • data model
  • programming language
  • linear temporal logic