Question about the Optimization Strategy in UPPAAL with Stratego

25 views
Skip to first unread message

samaye ismael

unread,
Jan 24, 2024, 11:42:28 AM1/24/24
to UPPAAL
Good evening, please, I have a question regarding the operation of UPPAAL with Stratego. When using the result of an optimization with the 'simulate' command with a certain number of runs, does the strategy attempt, for example, to minimize the cost of each run?

Thank you for your responses

Reply all
Reply to author
Forward
0 new messages