Jump to content

  • Log In with Google      Sign In   
  • Create Account

Banner advertising on our site currently available from just $5!

1. Learn about the promo. 2. Sign up for GDNet+. 3. Set up your advert!

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.