Håkan L. S. Younes
Håkan L. S. Younes
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Coordination for multi-robot exploration and mapping
R Simmons, D Apfelbaum, W Burgard, D Fox, M Moors, S Thrun, ...
Aaai/Iaai, 852-858, 2000
6722000
Probabilistic verification of discrete event systems using acceptance sampling
HLS Younes, RG Simmons
International Conference on Computer Aided Verification, 223-235, 2002
3742002
VHPOP: Versatile heuristic partial order planner
HLS Younes, RG Simmons
Journal of Artificial Intelligence Research 20, 405-430, 2003
2492003
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
2382006
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
2262004
Statistical probabilistic model checking with a focus on time-bounded properties
HLS Younes, RG Simmons
Information and Computation 204 (9), 1368-1409, 2006
2082006
Ymer: A statistical model checker
HLS Younes
Computer Aided Verification, 171-179, 2005
1942005
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
1632005
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
1072004
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
622004
Error control for probabilistic model checking
HLS Younes
Verification, Model Checking, and Abstract Interpretation, 142-156, 2006
572006
On the Role of Ground Actions in Refinement Planning.
HLS Younes, RG Simmons
AIPS, 54-62, 2002
552002
Artificial decision making under uncertainty in intelligent buildings
M Boman, P Davidsson, HL Younes
arXiv preprint arXiv:1301.6680, 2013
542013
Statistical verification of probabilistic properties with unbounded until
HLS Younes, EM Clarke, P Zuliani
Formal Methods: Foundations and Applications, 144-160, 2011
512011
Probabilistic verification for “black-box” systems
HLS Younes
Computer Aided Verification, 275-278, 2005
402005
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
AIPS workshop on planning via model checking, 81-88, 2002
332002
Extending PDDL to model stochastic decision processes
HLS Younes
Proceedings of the ICAPS-03 Workshop on PDDL, 95-103, 2003
312003
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
302003
Current tools for assisting intelligent agents in real-time decision making
HL Younes
Master's thesis, Royal Institute of Technology and Stockholm University …, 1998
221998
Planning and execution with phase transitions
HLS Younes
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 1030, 2005
102005
The system can't perform the operation now. Try again later.
Articles 1–20