/RoboCup-Coach

Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)

Primary LanguageC++OtherNOASSERTION

Watchers