To, S.T., Roberts, M., Apker, T., Johnson, B., & Aha, D.W. (2016). Mixed propositional metric temporal logic: A new formalism for temporal planning. To appear in D. Magazzeni, S. Sanner, & S. Thiebaux (Eds.) Planning for Hybrid Systems: Papers from the AAAI Workshop (Technical Report WS-16-13). Phoenix, AZ: AAAI Press.

CLICK TO VIEW