GitHub repository: luigiberducci/auto-shaping
Primary language: Python
Created: 2023-08-22T07:14:33Z
Description: library for automatic reward shaping from multiple formal requirements