Enhancing active model learning with equivalence checking using simulation relations

類似資料

• Active learning of abstract system models from traces using model checking
  著者:: Yogananda Jeppu, N, 等
  出版事項: (2022)
• Learning concise models from long execution traces
  著者:: Yogananda Jeppu, N, 等
  出版事項: (2020)
• Equivalence checking using trace partitioning
  著者:: Mukherjee, R, 等
  出版事項: (2015)
• DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning
  著者:: Hasanbeig, M, 等
  出版事項: (2021)
• Equivalence checking of a floating-point unit against a high-level C model
  著者:: Mukherjee, R, 等
  出版事項: (2016)