Specless

Python library for learning specification from demonstrations and synthesizing strategies that satisfy the given specification. Can be used in various applications including task assignment for robotics.

https://github.com/watakandai/specless