New pages

New pages
Hide registered users | Hide bots | Show redirects
  • 13:00, 6 January 2024Monte Carlo Tree Search Game Play (hist | edit) ‎[1,893 bytes]Michael Leuschel (talk | contribs) (Created page with "As of January 2024 ProB has a built-in algorithm for Monte Carlo Tree Search (MCTS). This can for example be used to perform game playing. In order to make use of MCTS one needs to provide information about the game state of a model by providing DEFINITIONS for: * GAME_OVER: must be TRUE when the game is finished; for a deadlock the game is also considered over (and by default drawn) * GAME_VALUE: must evaluate to a number if GAME_OVER is true. 0 is considered a draw, a...")
  • 12:00, 6 January 2024Custom Graph (hist | edit) ‎[6,152 bytes]Michael Leuschel (talk | contribs) (Created page with "You can visualise the state of an individual B, Z, TLA+ or Alloy model using custom graph definitions which are laid out using GraphViz. Thereby it is possible to specify general graph attributes, the nodes and the edges of the graph.")