Temporal Logic

2016
Anil Kumar, Rahul Kala (2016). "Linear Temporal Logic-based Mission Planning", International Journal of Interactive Multimedia and Artificial Intelligence, vol. 3, issue Regular Issue, no. 7, pp. 32-41. https://doi.org/10.9781/ijimai.2016.375