| Coordination for multi-robot exploration and mapping R Simmons, D Apfelbaum, W Burgard, D Fox, M Moors, S Thrun, ... Aaai/Iaai, 852-858, 2000 | 761 | 2000 |
| Probabilistic verification of discrete event systems using acceptance sampling HLS Younes, RG Simmons Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 455 | 2002 |
| PPDDL1. 0: An extension to PDDL for expressing planning domains with probabilistic effects HLS Younes, ML Littman Techn. Rep. CMU-CS-04-162 2, 99, 2004 | 289 | 2004 |
| VHPOP: Versatile heuristic partial order planner HLS Younes, RG Simmons Journal of Artificial Intelligence Research 20, 405-430, 2003 | 273 | 2003 |
| Numerical vs. statistical probabilistic model checking HLS Younes, M Kwiatkowska, G Norman, D Parker International Journal on Software Tools for Technology Transfer 8 (3), 216-228, 2006 | 270 | 2006 |
| Statistical probabilistic model checking with a focus on time-bounded properties HLS Younes, RG Simmons Information and Computation 204 (9), 1368-1409, 2006 | 257 | 2006 |
| Ymer: A statistical model checker HLS Younes Computer Aided Verification, 171-179, 2005 | 225 | 2005 |
| The first probabilistic track of the international planning competition HLS Younes, ML Littman, D Weissman, J Asmuth Journal of Artificial Intelligence Research 24, 851-887, 2005 | 184 | 2005 |
| Solving generalized semi-markov decision processes using continuous phase-type distributions HLS Younes, RG Simmons PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, 742-748, 2004 | 125 | 2004 |
| Numerical vs. statistical probabilistic model checking: An empirical study HLS Younes, M Kwiatkowska, G Norman, D Parker Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004 | 72 | 2004 |
| Statistical verification of probabilistic properties with unbounded until HLS Younes, EM Clarke, P Zuliani Formal Methods: Foundations and Applications, 144-160, 2011 | 65 | 2011 |
| Artificial decision making under uncertainty in intelligent buildings M Boman, P Davidsson, HL Younes arXiv preprint arXiv:1301.6680, 2013 | 60 | 2013 |
| Error control for probabilistic model checking HLS Younes Verification, Model Checking, and Abstract Interpretation, 142-156, 2006 | 60 | 2006 |
| On the Role of Ground Actions in Refinement Planning. HLS Younes, RG Simmons AIPS, 54-62, 2002 | 60 | 2002 |
| Probabilistic verification for “black-box” systems HLS Younes Computer Aided Verification, 275-278, 2005 | 51 | 2005 |
| Probabilistic plan verification through acceptance sampling HLS Younes, DJ Musliner AIPS workshop on planning via model checking, 81-88, 2002 | 36 | 2002 |
| A Framework for Planning in Continuous-time Stochastic Domains. HLS Younes, DJ Musliner, RG Simmons ICAPS, 195-204, 2003 | 32 | 2003 |
| Extending PDDL to model stochastic decision processes HLS Younes Proceedings of the ICAPS-03 Workshop on PDDL, 95-103, 2003 | 32 | 2003 |
| Current tools for assisting intelligent agents in real-time decision making HL Younes Master's thesis, Royal Institute of Technology and Stockholm University …, 1998 | 23 | 1998 |
| Planning and execution with phase transitions HLS Younes PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 1030, 2005 | 12 | 2005 |
Reid G. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
