It’s About Time: Telling Stories about time with Large Language Models, Linear Temporal Logic, and Automated Planning
Date:
Linear Temporal Logic (LTL) can be combined with Automated Planning and LLMs in order to successfully create logical, believable, and coherent stories about time.