Constrained Semi-Markov Decision Process — Glossary — ThinkLLM