The SCEAS System
| |||||||

## 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |