[Hol-info] Postdoc position in formal verification of multi-agent systems

2025-03-13 Thread Vadim Malvone
*Study the impact of natural strategies in decision problems* Keywords: Formal Verification, Model Checking for Multi-Agent Systems, Game Theory Description Game theory plays a crucial role in AI by providing a mathematical framework for reasoning about reactive systems, which are defined by

[Hol-info] Postdoc position in formal verification of multi-agent systems

2025-02-19 Thread Vadim Malvone
*Study the impact of natural strategies in decision problems* Keywords: Formal Verification, Model Checking for Multi-Agent Systems, Game Theory Description Game theory plays a crucial role in AI by providing a mathematical framework for reasoning about reactive systems, which are defined by