Sort by
Refine Your Search
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
Searches related to game theory
Enter an email to receive alerts for game-theory positions