Tempastic-DTP is a tool for decision-theoretic planning with asynchronous events.
Source code: GZIP (version 2.0; February 8, 2005)
Håkan L. S. Younes. 2005. Planning and execution with phase transitions. In Proceedings of the Twentieth National Conference on Artificial Intelligence, 1030–1035, Pittsburgh, Pennsylvania. AAAI Press.
Håkan L. S. Younes. 2005. Verification and Planning for Stochastic Processes with Asynchronous Events. PhD thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, Pennsylvania. CMU-CS-05-105.
Håkan L. S. Younes and Reid G. Simmons. 2004. Solving generalized semi-Markov decision processes using continuous phase-type distributions. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, 742–747, San Jose, California. AAAI Press.