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

Cheng-Hao Cai Jing Sun Gillian 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