A Modern Probabilistic Model Checker

A minimalist, low-latency, HFT CME MDP3.0 C++ market data feed handler and pcap file reader (MDP 3.0)

Hierarchical Online Planning and Reinforcement Learning on Taxi

a High-Performance Distributed Solver for Large-Scale Markov Decision Processes (MDP) relying on Inexact Policy Iteration; for Python and C++

Thompson Sampling based Monte Carlo Tree Search for MDPs and POMDPs

Markovian State and Action Abstractions for MDPs via Hierarchical MCTS within a POMDP Formulation

A repo for hardware development of MDP group 14 project

Benchmarking Distributed Inexact Policy Iteration for Large-Scale Markov Decision Processes

Markov Decision Process (MDP) Solver.

A simple machine learning library for C++

Knowledge Representation Using Markov Decision Process (MDP) for Intelligent Decision-Making in Student Advising Systems.

ELEPHANT environment is for training Markov Decision Process agents provides macros definitions that make the training programs easy to read. It implements the concepts of training stages, training bots that communicate with the agents, and atomic keys used to build the communication messages. The keys can be shared among the bots on different s…