1. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability (2009)
2. Benton, J., Coles, A., Coles, A.: Temporal planning with preferences and time-dependent continuous costs. In: ICAPS (2012)
3. Bit-Monnot, A.: Temporal and hierarchical models for planning and acting in robotics. Ph.D. thesis, Université de Toulouse (2016)
4. Lecture Notes in Computer Science;A Bit-Monnot,2018
5. Lecture Notes in Computer Science;N Bjørner,2015