I am joining Google on July 24, 2006.
Tempastic-DTP is a program for decision-theoretic planning with asynchronous events. It implements the techniques proposed by Younes and Simmons for approximately solving generalized semi-Markov decision processes using continuous phase-type distributions.
Håkan L. S. Younes and Reid G. Simmons. Solving generalized semi-Markov decision processes using continuous phase-type distributions. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, San Jose, Califormia, July 2004. AAAI Press.
Ymer is a program for probabilistic verification of discrete event systems. The implementation is based on the techniques developed by Younes and Simmons for probabilistic verification through acceptance sampling.
Håkan L. S. Younes and Reid G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Ed Brinksma and Kim Guldstrand Larsen, editors, Proceedings of the 14th International Conference on Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 223-235, Copenhagen, Denmark, July 2002. Springer.
VHPOP, with which I achieved distinction as Best Newcomer at the 3rd International Planning Competition, is a partial order causal link (POCL) determinstic planner loosely based on UCPOP. It draws form the experience gained in the early to mid 1990's on flaw selection strategies for POCL planning, and combines this with more recent developments in the field of domain independed planning such as distance based heuristics and reachability analysis.
Håkan L. S. Younes and Reid G. Simmons. VHPOP: Versatile heuristic partial order planner. Journal of Artificial Intelligence Research, 20:405-430, 2003.
I organized the seminars for the Specification and Verification Center.
I served on the program committee for the 16th International Conference on Automated Planning & Scheduling.
I served on the program committee for the 20th National Conference on Artificial Intelligence.
I was co-chair for the probabilistic track of the 4th International Planning Competition.
I served on the program committee for the FLAIRS Special Track on Uncertain Reasoning three years in a row from 2001 to 2003.
LaTeX style file for CMU-CS dissertations and technical reports: cmu-titlepage2.sty
If you ever need to use “International” characters, but your keyboard does not have them, then just copy them from this page.