Pinned Loading

1. motld motld Public

   A C++ implementation of the TLD object tracking algorithm

   C++ 47 31

2. GTE-sequential GTE-sequential Public

   A symbolic sequential equilibrium solver for Game Theory Explorer

   1

3. mapfdu-fond mapfdu-fond Public

   Benchmarks from our AAAI20 paper

   PDDL

4. planner planner Public

   An epistemic implicit coordination planner

   C++