Christina Mika

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Pure Nash Equilibria

Human Computation

Monte Carlo Tree Search

Leader Follower

Top Venues

Publications

Barbara König, Christina Mika
Bisimulation Games on Coalgebras. CoRR (2017)
Barbara König, Sebastian Küpper, Christina Mika
PAWS: A Tool for the Analysis of Weighted Systems. QAPL@ETAPS (2017)