Games and Protocols
- Protocols as products of Automata or Reactive systems. Extend the
approximation to traces, so that close traces assure close
behaviors.
- Protocols as a N-players game.
Properties of the Nash equilibria are mostly NP-hard.
In some cases, such as finite support, they can be approximated.
- Protocols as Evolutionary games.