Håkan Younes' Publications by Year

By category | By year | By topic | Coauthors | DBLP
2010 (1) | 2006 (3) | 2005 (5) | 2004 (7) | 2003 (4) | 2002 (3) | 2000 (3) | 1999 (4) | 1998 (2)

2010

  1. Håkan L. S. Younes, Edmund M. Clarke, and Paolo Zuliani. 2010. Statistical verification of probabilistic properties with unbounded until. In Proceedings of the 13th Brazilian Symposium on Formal Methods, edited by Jim Davies, Leila Silva, and Adenilso Simao, vol. 6527 of Lecture Notes in Computer Science, 144–160, Natal, Brazil. Springer.

2006

  1. Håkan L. S. Younes and Reid G. Simmons. 2006. Statistical probabilistic model checking with a focus on time-bounded properties. Information and Computation 204, no. 9: 1368–1409.

  2. Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, and David Parker. 2006. Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer 8, no. 3: 216–228.

  3. Håkan L. S. Younes. 2006. Error control for probabilistic model checking. In Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, edited by E. Allen Emerson and Kedar S. Namjoshi, vol. 3855 of Lecture Notes in Computer Science, 142–156, Charleston, South Carolina.Springer

2005

  1. Håkan L. S. Younes, Michael L. Littman, David Weissman, and John Asmuth. 2005. The first probabilistic track of the international planning competition. Journal of Artificial Intelligence Research 24: 851–887.

  2. 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.

  3. Håkan L. S. Younes. 2005. Probabilistic verification for “black-box” systems. In Proceedings of the 17th International Conference on Computer Aided Verification, edited by Kousha Etessami and Sriram K. Rajamani, vol. 3576 of Lecture Notes in Computer Science, 253–265, Edinburgh, United Kingdom. Springer.

  4. Håkan L. S. Younes. 2005. Ymer: A statistical model checker. In Proceedings of the 17th International Conference on Computer Aided Verification, edited by Kousha Etessami and Sriram Rajamani, vol. 3576 of Lecture Notes in Computer Science, 429–433, Edinburgh, Scotland. Springer.

  5. 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.

2004

  1. 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.

  2. Håkan L. S. Younes and Reid G. Simmons. 2004. Policy generation for continuous-time stochastic domains with concurrency. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, edited by Shlomo Zilberstein, Jana Koehler, and Sven Koenig, 325–333, Whistler, Canada. AAAI Press.

  3. Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, and David Parker. 2004. Numerical vs. statistical probabilistic model checking: An empirical study. In Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, edited by Kurt Jensen and Andreas Podelski, vol. 2988 of Lecture Notes in Computer Science, 46–60, Barcelona, Spain. Springer.

  4. Håkan L. S. Younes and Reid G. Simmons. 2004. A formalism for stochastic decision processes with asynchronous events. In Papers from the AAAI Workshop on Learning and Planning in Markov Processes—Advances and Challenges, 107–110, San Jose, California. AAAI Press. Technical Report WS-04-08.

  5. Håkan L. S. Younes. 2004. Planning and verification for stochastic processes with asynchronous events. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, 1001–1002, San Jose, California. AAAI Press.Thesis summary for the Ninth AAAI/SIGART Doctoral Consortium.

  6. Håkan L. S. Younes and Michael L. Littman. 2004. PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects. Technical Report CMU-CS-04-167, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania.

  7. Håkan L. S. Younes. 2004. “Black-box” probabilistic verification. Technical Report CMU-CS-04-162, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania.

2003

  1. Håkan L. S. Younes and Reid G. Simmons. 2003. VHPOP: Versatile heuristic partial order planner. Journal of Artificial Intelligence Research 20: 405–430.

  2. Håkan L. S. Younes, David J. Musliner, and Reid G. Simmons. 2003. A framework for planning in continuous-time stochastic domains. In Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling, edited by Enrico Giunchiglia, Nicola Muscettola, and Dana S. Nau, 195–204, Trento, Italy. AAAI Press.

  3. Håkan L. S. Younes. 2003. Extending PDDL to model stochastic decision processes. In Proceedings of the ICAPS-03 Workshop on PDDL, 95–103, Trento, Italy.

  4. Michael L. Littman and Håkan L. S. Younes. 2003. IPC 2004 probabilistic planning track: FAQ 0.1. In Proceedings of the ICAPS-03 Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks, 7–12, Trento, Italy.

2002

  1. Håkan L. S. Younes and Reid G. Simmons. 2002. Probabilistic verification of discrete event systems using acceptance sampling. In Proceedings of the 14th International Conference on Computer Aided Verification, edited by Ed Brinksma and Kim Guldstrand Larsen, vol. 2404 of Lecture Notes in Computer Science, 223–235, Copenhagen, Denmark. Springer.

  2. Håkan L. S. Younes and Reid G. Simmons. 2002. On the role of ground actions in refinement planning. In Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling Systems, edited by Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, 54–61, Toulouse, France. AAAI Press.

  3. Håkan L. S. Younes and David J. Musliner. 2002. Probabilistic plan verification through acceptance sampling. In Proceedings of the AIPS-02 Workshop on Planning via Model Checking, edited by Froduald Kabanza and Sylvie Thiébaux, 81–88, Toulouse, France.

2000

  1. Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, and Håkan L. S. Younes. 2000. Coordination for multi-robot exploration and mapping. In Proceedings of the Seventeenth National Conference on Artificial Intelligence, 852–858, Austin, Texas. AAAI Press.

  2. Håkan L. S. Younes and Love Ekenberg. 2000. A deterministic algorithm for solving imprecise decision problems. In Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, edited by Jim Etheredge and Bill Manaris, 313–317, Orlando, Florida. AAAI Press.

  3. Johan Kummeneje, David Lybäck, Håkan L. S. Younes, and Magnus Boman. 2000. UBU team. In RoboCup-99: Robot Soccer World Cup III, edited by Manuela M. Veloso, Enrico Pagello, and Hiroaki Kitano, vol. 1856 of Lecture Notes in Computer Science, 642–645. Berlin: Springer.

1999

  1. Magnus Boman, Paul Davidsson, and Håkan L. S. Younes. 1999. Artificial decision making under uncertainty in intelligent buildings. In Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, edited by Kathryn B. Laskey and Henri Prade, 65–70, Stockholm, Sweden. Morgan Kaufmann Publishers.

  2. Håkan L. S. Younes and Magnus Boman. 1999. Tools for artificial decision making. MAAMAW'99 Poster Presentations, published on CD-ROM,Universidad Politècnica de Valencia, Valencia, Spain.

  3. Johan Kummeneje and Håkan L. S. Younes. 1999. The design of an object oriented agent system for robotic soccer. In Proceedings of the Workshop on Futures in Information Systems and Software Engineering Research, edited by Bengt G. Lundberg, Stockholm, Sweden. Stockholm University and the Royal Institute of Technology.

  4. Magnus Boman, Johan Kummeneje, David Lybäck, and Håkan L. S. Younes. 1999. UBU team. In RoboCup-99 Team Descriptions. Simulation League, edited by Silvia Coradeschi, Tucker Balch, Gerhard Kraetzschmar, and Peter Stone, 133–138, Stockholm, Sweden. Linköping University Electronic Press.

1998

  1. Magnus Boman, Jens Andreasen, Mats Danielson, Carl-Gustaf Jansson, Johan Kummeneje, Johan Sikström, Harko Verhagen, and Håkan L. S. Younes. 1998. UBU: Pronouncers in RoboCup teams. In Proceedings of the PRICAI'98 RoboCup Workshop, edited by Hiroaki Kitano, Gerald Seet, and K. Jagannathan, 117–122, Singapore. National University of Singapore.

  2. Håkan L. S. Younes. 1998. Current Tools for Assisting Intelligent Agents in Real-time Decision Making. Master's thesis, Department of Computer and Systems Sciences, Royal Intitute of Technology and Stockholm University, Stockholm, Sweden. No 98-x-073.