1 game-theory "The University of Gothenburg" PhD positions in Sweden

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | 3 months ago

behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves