.. Emacs, this is -*-rst-*-

Receding horizon Temporal Logic Planning
========================================
.. automodule:: spec
   :members:

.. automodule:: rhtlp
   :members: