Search the dblp DataBase
Håkan L. S. Younes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, Håkan L. S. Younes
Coordination for Multi-Robot Exploration and Mapping. [Citation Graph (0, 0)][DBLP]
AAAI/IAAI, 2000, pp:852-858 [Conf] - Håkan L. S. Younes, Reid G. Simmons
Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. [Citation Graph (0, 0)][DBLP]
AAAI, 2004, pp:742-748 [Conf] - Håkan L. S. Younes
Planning and Verification for Stochastic Processes with Asynchronous Events. [Citation Graph (0, 0)][DBLP]
AAAI, 2004, pp:1001-1002 [Conf] - Håkan L. S. Younes
Planning and Execution with Phase Transitions. [Citation Graph (0, 0)][DBLP]
AAAI, 2005, pp:1030-1036 [Conf] - Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
A Framework for Planning in Continuous-time Stochastic Domains. [Citation Graph (0, 0)][DBLP]
ICAPS, 2003, pp:195-204 [Conf] - Håkan L. S. Younes, Reid G. Simmons
On the Role of Ground Actions in Refinement Planning. [Citation Graph (0, 0)][DBLP]
AIPS, 2002, pp:54-62 [Conf] - Håkan L. S. Younes, Reid G. Simmons
Policy Generation for Continuous-time Stochastic Domains with Concurrency. [Citation Graph (0, 0)][DBLP]
ICAPS, 2004, pp:325-334 [Conf] - Håkan L. S. Younes
Probabilistic Verification for "Black-Box" Systems. [Citation Graph (0, 0)][DBLP]
CAV, 2005, pp:253-265 [Conf] - Håkan L. S. Younes
Ymer: A Statistical Model Checker. [Citation Graph (0, 0)][DBLP]
CAV, 2005, pp:429-433 [Conf] - Håkan L. S. Younes, Reid G. Simmons
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. [Citation Graph (0, 0)][DBLP]
CAV, 2002, pp:223-235 [Conf] - Håkan L. S. Younes, Love Ekenberg
A Deterministic Algorithm for Solving Imprecise Decision Problems. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2000, pp:313-317 [Conf] - Johan Kummeneje, David Lybäck, Håkan L. S. Younes, Magnus Boman
UBU Team. [Citation Graph (0, 0)][DBLP]
RoboCup, 1999, pp:642-645 [Conf] - Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. [Citation Graph (0, 0)][DBLP]
TACAS, 2004, pp:46-60 [Conf] - Magnus Boman, Paul Davidsson, Håkan L. S. Younes
Artificial Decision Making Under Uncertainty in Intelligent Buildings. [Citation Graph (0, 0)][DBLP]
UAI, 1999, pp:65-70 [Conf] - Håkan L. S. Younes
Error Control for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
VMCAI, 2006, pp:142-156 [Conf] - Håkan L. S. Younes, Reid G. Simmons
Statistical probabilistic model checking with a focus on time-bounded properties. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:9, pp:1368-1409 [Journal] - Håkan L. S. Younes, Reid G. Simmons
VHPOP: Versatile Heuristic Partial Order Planner. [Citation Graph (0, 0)][DBLP]
J. Artif. Intell. Res. (JAIR), 2003, v:20, n:, pp:405-430 [Journal] - Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. statistical probabilistic model checking. [Citation Graph (0, 0)][DBLP]
STTT, 2006, v:8, n:3, pp:216-228 [Journal] - Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth
The First Probabilistic Track of the International Planning Competition. [Citation Graph (0, 0)][DBLP]
J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:851-887 [Journal]
Search in 0.014secs, Finished in 0.015secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002