1. EXplainable AI Planning (2018). http://icaps18.icaps-conference.org/xaip/
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bensalem, S., Havelund, K., Orlandini, A.: Verification and validation meet planning and scheduling. STTT 16(1), 1–12 (2014)
4. Bit-Monnot, A., Leofante, F., Pulina, L., Ábrahám, E., Tacchella, A.: SMarTplan: a task planner for smart factories. CoRR abs/1806.07135 (2018)
5. Lecture Notes in Computer Science;N Bjørner,2015