Modeling Adversaries with TLA+

Re:Modeling Adversaries with TLA+ by rrggrr on Tuesday May 07, 2019 @05:05PM (#19853442)

Anyone have a similar how-to for applying this to decision-making (eg. game theory) in TLA+, Python or similar?

[ Parent | on HN ]

Re:Modeling Adversaries with TLA+ by hwayne on Tuesday May 07, 2019 @10:25PM (#19855398)

I 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/

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".

[ Parent | on HN ]

Re:Modeling Adversaries with TLA+ by raister on Wednesday May 08, 2019 @02:34AM (#19856383)

What about TIGA? http://people.cs.aau.dk/~adavid/tiga/

[ Parent | on HN ]