Login / Signup

CSP-based inference of function block finite-state models from execution traces.

Daniil ChivilikhinVladimir UlyantsevAnatoly ShalytoValeriy Vyatkin
Published in: INDIN (2017)
Keyphrases
  • finite state
  • markov chain
  • finite state transducers
  • machine learning
  • model checking
  • execution traces
  • case study
  • random fields
  • reinforcement learning
  • search algorithm
  • multi agent systems
  • open source
  • optimal policy