Follow
Håkan L. S. Younes
Håkan L. S. Younes
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Probabilistic verification of discrete event systems using acceptance sampling
HLS Younes, RG Simmons
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
4742002
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
3192004
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
2802006
VHPOP: Versatile heuristic partial order planner
HLS Younes, RG Simmons
Journal of Artificial Intelligence Research 20, 405-430, 2003
2792003
Statistical probabilistic model checking with a focus on time-bounded properties
HLS Younes, RG Simmons
Information and Computation 204 (9), 1368-1409, 2006
2632006
Ymer: A statistical model checker
HLS Younes
Computer Aided Verification, 171-179, 2005
2292005
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
1992005
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
1302004
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
742004
Statistical verification of probabilistic properties with unbounded until
HLS Younes, EM Clarke, P Zuliani
Formal Methods: Foundations and Applications, 144-160, 2011
692011
Error control for probabilistic model checking
HLS Younes
Verification, Model Checking, and Abstract Interpretation, 142-156, 2006
622006
On the Role of Ground Actions in Refinement Planning.
HLS Younes, RG Simmons
AIPS, 54-62, 2002
612002
Artificial decision making under uncertainty in intelligent buildings
M Boman, P Davidsson, HL Younes
arXiv preprint arXiv:1301.6680, 2013
592013
Probabilistic verification for “black-box” systems
HLS Younes
Computer Aided Verification, 275-278, 2005
552005
Probabilistic plan verification through acceptance sampling
HLS Younes, DJ Musliner
AIPS workshop on planning via model checking, 81-88, 2002
372002
A Framework for Planning in Continuous-time Stochastic Domains.
HLS Younes, DJ Musliner, RG Simmons
ICAPS, 195-204, 2003
322003
Extending PDDL to model stochastic decision processes
HLS Younes
Proceedings of the ICAPS-03 Workshop on PDDL, 95-103, 2003
312003
Current tools for assisting intelligent agents in real-time decision making
HL Younes
Master's thesis, Royal Institute of Technology and Stockholm University …, 1998
241998
Planning and execution with phase transitions
HLS Younes
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 1030, 2005
122005
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
122004
The system can't perform the operation now. Try again later.
Articles 1–20