| Probabilistic verification of discrete event systems using acceptance sampling HLS Younes, RG Simmons Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 483 | 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 | 317 | 2004 |
| VHPOP: Versatile heuristic partial order planner HLS Younes, RG Simmons Journal of Artificial Intelligence Research 20, 405-430, 2003 | 292 | 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 | 281 | 2006 |
| Statistical probabilistic model checking with a focus on time-bounded properties HLS Younes, RG Simmons Information and Computation 204 (9), 1368-1409, 2006 | 265 | 2006 |
| Ymer: A statistical model checker HLS Younes Computer Aided Verification, 171-179, 2005 | 231 | 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 | 200 | 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 | 130 | 2004 |
| Numerical vs. statistical probabilistic model checking: An empirical study HLS Younes, M Kwiatkowska, G Norman, D Parker International Conference on Tools and Algorithms for the Construction and …, 2004 | 75 | 2004 |
| Statistical verification of probabilistic properties with unbounded until HLS Younes, EM Clarke, P Zuliani Formal Methods: Foundations and Applications, 144-160, 2011 | 70 | 2011 |
| Error control for probabilistic model checking HLS Younes Verification, Model Checking, and Abstract Interpretation, 142-156, 2006 | 63 | 2006 |
| On the Role of Ground Actions in Refinement Planning. HLS Younes, RG Simmons AIPS, 54-62, 2002 | 62 | 2002 |
| Artificial decision making under uncertainty in intelligent buildings M Boman, P Davidsson, HL Younes arXiv preprint arXiv:1301.6680, 2013 | 59 | 2013 |
| Probabilistic verification for “black-box” systems HLS Younes Computer Aided Verification, 275-278, 2005 | 55 | 2005 |
| Probabilistic plan verification through acceptance sampling HLS Younes, DJ Musliner AIPS workshop on planning via model checking, 81-88, 2002 | 37 | 2002 |
| Extending PDDL to model stochastic decision processes HLS Younes Proceedings of the ICAPS-03 Workshop on PDDL, 95-103, 2003 | 32 | 2003 |
| A Framework for Planning in Continuous-time Stochastic Domains. HLS Younes, DJ Musliner, RG Simmons ICAPS, 195-204, 2003 | 30 | 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 | 24 | 1998 |
| Planning and execution with phase transitions HLS Younes PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 1030, 2005 | 12 | 2005 |
| A formalism for stochastic decision processes with asynchronous events HLS Younes, RG Simmons Proc. of AAAI Work. on Learn. and Plan. in Markov Processes, 107-110, 2004 | 12 | 2004 |
Reid G. SimmonsCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
