UPPAAL
In the edge edit panel there is a radio button labeled "Controllable"; what is it? #120
-
|
I am using UPPAAL 4.1.20-stratego-9 (rev. 67D95DBCE6B8B4ED), January 2022. In the edge edit panel there is a radio button labeled "Controllable"; what is it? I searched the documentation but could not find anything about this button. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
Controllable edges are a TIGA feature, which allows the user to simulate timed games. A simplified version: For instance, a timed game might require the player to reach the state Goal, while only "controlling" the controllable edges. Uncontrollable edges are controlled by the environment, and the only way the player can avoid them being taken is by not going into a state where they can be taken If you do not use any TIGA features, then it is not considered whether an edge is controllable or not. |
Beta Was this translation helpful? Give feedback.
-
|
Thanks a lot. Indeed I never used TIGA but I'll have a look at it. |
Beta Was this translation helpful? Give feedback.
Controllable edges are a TIGA feature, which allows the user to simulate timed games.
A simplified version:
For instance, a timed game might require the player to reach the state Goal, while only "controlling" the controllable edges. Uncontrollable edges are controlled by the environment, and the only way the player can avoid them being taken is by not going into a state where they can be taken
If you do not use any TIGA features, then it is not considered whether an edge is controllable or not.