Monte Carlo Tree Search for Priced Timed Automata

Peter Gjøl Jensen, Andrej Kiviriga^*, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijačika, Jeppe Høiriis Mortensen

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

103 Downloads (Pure)

1 Citations
1 PhD thesis

1 results

Filter

2023

Efficient Model Checking: The Power of Randomness
Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 p.
Research output: PhD thesis

Open Access
File

100 Downloads (Pure)