This site is dedicated to the research interests of Dr. Håkan Younes—creator of VHPOP, and originator of statistical probabilistic model checking and the generalized semi-Markov decision process. Håkan received the 2007 ICAPS Best Dissertation Award for his Ph.D. thesis titled “Verification and planning for stochastic processes with asynchronous events.”

The term “tempastic” is a play on the two words “temporal” and “stochastic.” It was coined by Jana Dunfield in 2003—Håkan's office mate in graduate school at the time—as a “Google-friendly” name for a new planning system that Håkan was developing. The original Tempastic planner is described in the paper “Policy generation for continuous-time stochastic domains with concurrency” presented at ICAPS'04.