UBU Team. - Johan Kummeneje; David Lybäck; Håkan L. S. Younes; Magnus Boman (RoboCup, 1999)

Artificial Decision Making Under Uncertainty in Intelligent Buildings. - Magnus Boman; Paul Davidsson; Håkan L. S. Younes (UAI, 1999)

Coordination for Multi-Robot Exploration and Mapping. - Reid G. Simmons; David Apfelbaum; Wolfram Burgard; Dieter Fox; Mark Moors; Sebastian Thrun; Håkan L. S. Younes (AAAI/IAAI, 2000)

A Deterministic Algorithm for Solving Imprecise Decision Problems. - Håkan L. S. Younes; Love Ekenberg (FLAIRS, 2000)

On the Role of Ground Actions in Refinement Planning. - Håkan L. S. Younes; Reid G. Simmons (AIPS, 2002)

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. - Håkan L. S. Younes; Reid G. Simmons (CAV, 2002)

A Framework for Planning in Continuous-time Stochastic Domains. - Håkan L. S. Younes; David J. Musliner; Reid G. Simmons (ICAPS, 2003)

VHPOP: Versatile Heuristic Partial Order Planner. - Håkan L. S. Younes; Reid G. Simmons (J. Artif. Intell. Res., 2003)

Planning and Verification for Stochastic Processes with Asynchronous Events. - Håkan L. S. Younes (AAAI, 2004)

Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. - Håkan L. S. Younes; Reid G. Simmons (AAAI, 2004)

Policy Generation for Continuous-time Stochastic Domains with Concurrency. - Håkan L. S. Younes; Reid G. Simmons (ICAPS, 2004)

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. - Håkan L. S. Younes; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (TACAS, 2004)

Planning and Execution with Phase Transitions. - Håkan L. S. Younes (AAAI, 2005)

Probabilistic Verification for "Black-Box" Systems. - Håkan L. S. Younes (CAV, 2005)

Ymer: A Statistical Model Checker. - Håkan L. S. Younes (CAV, 2005)

The First Probabilistic Track of the International Planning Competition. - Håkan L. S. Younes; Michael L. Littman; David Weissman; John Asmuth (J. Artif. Intell. Res., 2005)

Error Control for Probabilistic Model Checking. - Håkan L. S. Younes (VMCAI, 2006)

Statistical probabilistic model checking with a focus on time-bounded properties. - Håkan L. S. Younes; Reid G. Simmons (Inf. Comput., 2006)

Numerical vs. statistical probabilistic model checking. - Håkan L. S. Younes; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Statistical Verification of Probabilistic Properties with Unbounded Until. - Håkan L. S. Younes; Edmund M. Clarke; Paolo Zuliani (SBMF, 2010)