From e6a758da3cab11257f462a2d47a173fe4bdc79b4 Mon Sep 17 00:00:00 2001 From: Andreas Boltres Date: Fri, 23 Oct 2020 20:53:11 +0200 Subject: [PATCH] Add gym-autokey to third party environment list (#2055) This env is a bit more heavyweight due to the size and complexity of the underlying KeY prover, but I hope that you too can build/test it hand have some fun there :smile: Please notify me if there is anything wrong with the installation or the env itself. --- docs/environments.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/environments.md b/docs/environments.md index d647435643f..fdee6f62c74 100644 --- a/docs/environments.md +++ b/docs/environments.md @@ -321,3 +321,9 @@ Learn more here: https://github.com/towzeur/gym-abalone An environment that implements a typical [multi-armed bandit scenario](https://en.wikipedia.org/wiki/Multi-armed_bandit) where an [ad server](https://en.wikipedia.org/wiki/Ad_serving) must select the best advertisement to be displayed in a web page. Some example agents are included: Random, epsilon-Greedy, Softmax, and UCB1. Learn more here: https://github.com/falox/gym-adserver + +### gym-autokey: Automated rule-based deductive program verification + +An environment for automated rule-based deductive program verification in the KeY verification system. + +Learn more here: https://github.com/Flunzmas/gym-autokey