Adriana Mijacika

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Monte Carlo Tree Search

Bayesian Reinforcement Learning

Theorem Proving

Alpha Beta Search

Top Venues

Publications

Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen
Monte Carlo Tree Search for Priced Timed Automata. QEST (2022)