research
∙
08/15/2023
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
We study how to efficiently combine formal methods, Monte Carlo Tree Sea...
share
research
∙
05/16/2023
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
We consider lexicographic bi-objective problems on Markov Decision Proce...
research
∙
02/17/2023
Graphical estimation of multivariate count time series
The problems of selecting partial correlation and causality graphs for c...
research
∙
06/08/2020