Håkan L. S. Younes

Håkan Younes is a Senior Software Engineer at Google, Inc. Before joining Google, he was a Postdoctoral Fellow in the Computer Science Department at Carnegie Mellon University. His research focused on methods for analyzing and controlling the effects of uncertainty in system design and decision making. He has developed algorithms for probabilistic model checking and established the generalized semi-Markov decision process as a framework for decision-theoretic planning under temporal uncertainty. He earned distinction as Best Newcomer at the 2002 International Planning Competition with his heuristic partial-order/temporal planner VHPOP, and his PhD thesis earned him the first ICAPS Outstanding Dissertation Award in 2007. Dr. Younes received an M.S. (1998) in Computer Science and Technology from the Royal Institute of Technology in Sweden, and an M.S. (2002) and a PhD (2004) in Computer Science from Carnegie Mellon University.

Google Publications

Previous Publications

  •   

    Error control for probabilistic model checking

    Håkan L. S. Younes

    Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, Berlin / Heidelberg (2006), pp. 142-156

  •   

    Numerical vs. statistical probabilistic model checking

    Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker

    International Journal on Software Tools for Technology Transfer, vol. 8 (2006), pp. 216-228

  •   

    Statistical probabilistic model checking with a focus on time-bounded properties

    Håkan L. S. Younes, Reid G. Simmons

    Information and Computation, vol. 204 (2006), pp. 1368-1409

  •   

    Planning and execution with phase transitions

    Håkan L. S. Younes

    Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, California (2005), pp. 1030-1035

  •   

    Probabilistic verification for ``black-box'' systems

    Håkan L. S. Younes

    Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 253-265

  •   

    The first probabilistic track of the international planning competition

    Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth

    Journal of Artificial Intelligence Research, vol. 24 (2005), pp. 851-887

  •   

    Ymer: A statistical model checker

    Håkan L. S. Younes

    Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 429-433

  •   

    Numerical vs. statistical probabilistic model checking: An empirical study

    Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker

    Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin / Heidelberg (2004), pp. 46-60

  •   

    Policy generation for continuous-time stochastic domains with concurrency

    Håkan L. S. Younes, Reid G. Simmons

    Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, AAAI Press, Menlo Park, California (2004), pp. 325-333

  •   

    Solving generalized semi-Markov decision processes using continuous phase-type distributions

    Håkan L. S. Younes, Reid G. Simmons

    Proceedings of the Nineteenth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, California (2004), pp. 742-747

  •   

    A framework for planning in continuous-time stochastic domains

    Håkan L. S. Younes, David J. Musliner, Reid G. Simmons

    Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling, AAAI Press, Menlo Park, California (2003), pp. 195-204

  •   

    VHPOP: Versatile heuristic partial order planner

    Håkan L. S. Younes, Reid G. Simmons

    Journal of Artificial Intelligence Research, vol. 20 (2003), pp. 405-430

  •   

    On the role of ground actions in refinement planning

    Håkan L. S. Younes, Reid G. Simmons

    Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling Systems, AAAI Press, Menlo Park, California (2002), pp. 54-61

  •   

    Probabilistic verification of discrete event systems using acceptance sampling

    Håkan L. S. Younes, Reid G. Simmons

    Proceedings of the 14th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2002), pp. 223-235

  •   

    A deterministic algorithm for solving imprecise decision problems

    Håkan L. S. Younes, Love Ekenberg

    Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, AAAI Press, Menlo Park, California (2000), pp. 313-317

  •   

    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

    Proceedings of the Seventeenth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, California (2000), pp. 852-858

  •   

    Artificial decision making under uncertainty in intelligent buildings

    Magnus Boman, Paul Davidsson, Håkan L. S. Younes

    Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann Publishers, San Francisco, California (1999), pp. 65-70