3 ms·
Anyone have a similar how-to for applying this to decision-making (eg. game theory) in TLA+, Python or similar?
by rrggrr 7y ago
Anyone have a similar how-to for applying this to decision-making (eg. game theory) in TLA+, Python or similar?
- hwayne 7y agoI don't know any game theory so can't say much about the landscape, but I know people've modified PRISM to model games: http://www.prismmodelchecker.org/games/ http://www.prismmodelchecker.org/games/ Fair warning though: PRISM is... weird. You can analyze some crazy complex properties in it but you don't get basic affordances like "strings", "lists", or "functions that take parameters".
- raister 7y agoWhat about TIGA? http://people.cs.aau.dk/~adavid/tiga/ http://people.cs.aau.dk/~adavid/tiga/