Håkan L. S. Younes

	2011
21		Reid G. Simmons, Håkan L. S. Younes: VHPOP: Versatile Heuristic Partial Order Planner CoRR abs/1106.4868: (2011)
	2010
20		Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani: Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF 2010: 144-160
	2006
19		Håkan L. S. Younes: Error Control for Probabilistic Model Checking. VMCAI 2006: 142-156
18		Håkan L. S. Younes, Reid G. Simmons: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9): 1368-1409 (2006)
17		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
	2005
16		Håkan L. S. Younes: Planning and Execution with Phase Transitions. AAAI 2005: 1030-1036
15		Håkan L. S. Younes: Probabilistic Verification for "Black-Box" Systems. CAV 2005: 253-265
14		Håkan L. S. Younes: Ymer: A Statistical Model Checker. CAV 2005: 429-433
13		Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth: The First Probabilistic Track of the International Planning Competition. J. Artif. Intell. Res. (JAIR) 24: 851-887 (2005)
	2004
12		Håkan L. S. Younes: Planning and Verification for Stochastic Processes with Asynchronous Events. AAAI 2004: 1001-1002
11		Håkan L. S. Younes, Reid G. Simmons: Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. AAAI 2004: 742-748
10		Håkan L. S. Younes, Reid G. Simmons: Policy Generation for Continuous-time Stochastic Domains with Concurrency. ICAPS 2004: 325-334
9		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
	2003
8		Håkan L. S. Younes, David J. Musliner, Reid G. Simmons: A Framework for Planning in Continuous-time Stochastic Domains. ICAPS 2003: 195-204
7		Håkan L. S. Younes, Reid G. Simmons: VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. (JAIR) 20: 405-430 (2003)
	2002
6		Håkan L. S. Younes, Reid G. Simmons: On the Role of Ground Actions in Refinement Planning. AIPS 2002: 54-62
5		Håkan L. S. Younes, Reid G. Simmons: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. CAV 2002: 223-235
	2000
4		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. AAAI/IAAI 2000: 852-858
3		Håkan L. S. Younes, Love Ekenberg: A Deterministic Algorithm for Solving Imprecise Decision Problems. FLAIRS Conference 2000: 313-317
	1999
2		Johan Kummeneje, David Lybäck, Håkan L. S. Younes, Magnus Boman: UBU Team. RoboCup 1999: 642-645
1		Magnus Boman, Paul Davidsson, Håkan L. S. Younes: Artificial Decision Making Under Uncertainty in Intelligent Buildings. UAI 1999: 65-70

Coauthor Index

1	David Apfelbaum	[4]
2	John Asmuth	[13]
3	Magnus Boman	[1] [2]
4	Wolfram Burgard	[4]
5	Edmund M. Clarke	[20]
6	Paul Davidsson	[1]
7	Love Ekenberg	[3]
8	Dieter Fox	[4]
9	Johan Kummeneje	[2]
10	Marta Z. Kwiatkowska	[9] [17]
11	Michael L. Littman	[13]
12	David Lybäck	[2]
13	Mark Moors	[4]
14	David J. Musliner	[8]
15	Gethin Norman	[9] [17]
16	David Parker	[9] [17]
17	Reid G. Simmons	[4] [5] [6] [7] [8] [10] [11] [18] [21]
18	Sebastian Thrun	[4]
19	David Weissman	[13]
20	Paolo Zuliani	[20]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page