From 755207bdab1b00d9ee6f1ac9978320adc081ba41 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 10 Sep 2024 14:22:51 +0200
Subject: [PATCH] increase MCTS preference
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
TicTacToe/tictactoe_v2.tla | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/TicTacToe/tictactoe_v2.tla b/TicTacToe/tictactoe_v2.tla
index 7b7760b..f45be87 100644
--- a/TicTacToe/tictactoe_v2.tla
+++ b/TicTacToe/tictactoe_v2.tla
@@ -94,7 +94,7 @@ GOAL == Won("O")
\* the following Invariant is violated by this model
INVARIANT == ~Won("O") \/ ~Won("X")
\* additions for ProB so that we can apply MCTS auto play:
-GAME_MCTS_RUNS == 100
+GAME_MCTS_RUNS == 400
GAME_PLAYER == IF nextTurn = "X" THEN "max" ELSE "min"
GAME_OVER == IF Won("X") \/ Won("O") THEN TRUE ELSE FALSE
GAME_VALUE == IF Won("X") THEN 1 ELSE 0
--
GitLab