LTLf

A Framework for Flexibly Guiding Learning Agents