Pinned Loading

1. rl_talks rl_talks Public

   Selected talks I've given at advanced reinforcement learning seminars at MUNI

2. sbpca sbpca Public

   Efficient Verification of Multi-Objective Queries in Markov Decision Processes

   C++

3. uorl uorl Public

   Forked from EmptyJackson/unifloral

   A unified JAX framework for evaluating uncertainty-based model-free offline RL algorithms

   Python 1

4. kurecka/rats kurecka/rats Public

   Risk-Aware Tree Search

   C++ 1 3

5. wgan_gp wgan_gp Public

   Image colorization with Wasserstein GAN & gradient penalty implemented in Pytorch

   Python

6. vacnev/SAT vacnev/SAT Public

   Lightweight SAT solver in C++

   C++ 1