• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automatic refactoring of conditions and substitutions for B state transition models.

Cheng-Hao CaiJing SunGillian Dobbie
Published in: Softw. Pract. Exp. (2023)
Keyphrases
  • state transition
  • transition model
  • state space
  • input output
  • finite state machines
  • black box
  • reinforcement learning
  • markov chain
  • semi automatic
  • state transition model