1. Alaboud FK, Coles A (2019) Personalized medication and activity planning in pddl+. In: Proceedings of the international conference on automated planning and scheduling, vol 29, pp 492–500
2. Cashmore M, Fox M, Long D, Magazzeni D (2016) A compilation of the full pddl+ language into smt. In: Proceedings of the international conference on automated planning and scheduling, vol 26
3. Della Penna G, Intrigila B, Magazzeni D, Mercorio F (2015) Upmurphi released: Pddl+ planning for hybrid systems. In: Proceedings of 2nd ICAPS workshop on model checking and automated planning, pp 35–39. Citeseer
4. Fanger PO (1973) Assessment of man’s thermal comfort in practice. Occupat Environ Med 30(4):313–324
5. Fong KF, Hanby VI, Chow TT (2006) Hvac system optimization for energy management by evolutionary programming. Energy Build 38(3):220–231