Jump to content

  • Log In with Google      Sign In   
  • Create Account

Game Development Dictionary


Kripke Structure


A finite state machine, whose states are labeled with boolean variables and whose next state is chosen nondeterministically. It may be extended with fairness constraints.


0 Comments


PARTNERS