Commit 497d5054 authored by Tobias MEGGENDORFER's avatar Tobias MEGGENDORFER
Browse files

Fixes

parent 93934ffe
{
"name": "cg-figure10-12s",
"type": "explicit",
"ap": [
"p",
"q"
],
"goal": "true",
"agents": {
"A1": {
"goal": "F p",
"payoff": "0",
"actions": [
"a",
"b"
]
},
"A2": {
"goal": "F q",
"payoff": "0",
"actions": [
"a",
"b"
]
},
"A3": {
"goal": "G ! (p | q)",
"payoff": "1",
"actions": [
"a",
"b",
"c",
"d"
]
}
},
"arena": {
"initial": "s0",
"states": {
"s0": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "a",
"A3": "a"
},
"to": "s1"
},
{
"actions": {
"A1": "b",
"A2": "a",
"A3": "c"
},
"to": "s1"
},
{
"actions": {
"A1": "a",
"A2": "b",
"A3": "b"
},
"to": "s1"
},
{
"actions": {
"A1": "a",
"A2": "b",
"A3": "d"
},
"to": "s1"
},
{
"actions": {
"A1": "a",
"A2": "b",
"A3": "a"
},
"to": "s11"
},
{
"actions": {
"A1": "a",
"A2": "b",
"A3": "c"
},
"to": "s11"
},
{
"actions": {
"A1": "b",
"A2": "a",
"A3": "b"
},
"to": "s11"
},
{
"actions": {
"A1": "b",
"A2": "a",
"A3": "d"
},
"to": "s11"
},
{
"actions": {
"A1": "a",
"A2": "a",
"A3": "*"
},
"to": "s4"
},
{
"actions": {
"A1": "b",
"A2": "b",
"A3": "*"
},
"to": "s4"
}
]
},
"s1": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s2"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s2"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s3"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s3"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s4"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s4"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s4"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s4"
}
]
},
"s11": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s2"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s2"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s3"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s3"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s4"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s4"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s4"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s4"
}
]
},
"s2": {
"labels": [
"p"
],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s5"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s5"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s5"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s6"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s7"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s7"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s7"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s7"
}
]
},
"s3": {
"labels": [
"q"
],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s5"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s5"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s5"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s6"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s7"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s7"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s7"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s7"
}
]
},
"s4": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "*",
"A2": "*",
"A3": "*"
},
"to": "s7"
}
]
},
"s5": {
"labels": [
"p"
],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s8"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s8"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s9"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s9"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s10"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s10"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s10"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s10"
}
]
},
"s6": {
"labels": [
"q"
],
"transitions": [
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "a"
},
"to": "s8"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "b"
},
"to": "s8"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "c"
},
"to": "s9"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "d"
},
"to": "s9"
},
{
"actions": {
"A1": "a",
"A2": "*",
"A3": "a"
},
"to": "s10"
},
{
"actions": {
"A1": "b",
"A2": "*",
"A3": "b"
},
"to": "s10"
},
{
"actions": {
"A1": "*",
"A2": "a",
"A3": "c"
},
"to": "s10"
},
{
"actions": {
"A1": "*",
"A2": "b",
"A3": "d"
},
"to": "s10"
}
]
},
"s7": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "*",
"A2": "*",
"A3": "*"
},
"to": "s10"
}
]
},
"s8": {
"labels": [
"p"
],
"transitions": [
{
"actions": {
"A1": "*",
"A2": "*",
"A3": "*"
},
"to": "s8"
}
]
},
"s9": {
"labels": [
"q"
],
"transitions": [
{
"actions": {
"A1": "*",
"A2": "*",
"A3": "*"
},
"to": "s9"
}
]
},
"s10": {
"labels": [],
"transitions": [
{
"actions": {
"A1": "*",
"A2": "*",
"A3": "*"
},
"to": "s10"
}