-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
performance or security must be guaranteed. Game theory in AI is a powerful mathematical framework to reason about reactive systems. The latter are characterized by an ongoing interaction between two or more
Searches related to postdoc game theory
Enter an email to receive alerts for postdoc-game-theory positions