Håkan L. S. Younes

2006
19	EE	Håkan L. S. Younes: Error Control for Probabilistic Model Checking. VMCAI 2006: 142-156
18	EE	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	EE	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	EE	Håkan L. S. Younes: Probabilistic Verification for "Black-Box" Systems. CAV 2005: 253-265
14	EE	Håkan L. S. Younes: Ymer: A Statistical Model Checker. CAV 2005: 429-433
13	EE	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	EE	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	EE	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	EE	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	EE	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	Paul Davidsson	[1]
6	Love Ekenberg	[3]
7	Dieter Fox	[4]
8	Johan Kummeneje	[2]
9	Marta Z. Kwiatkowska	[9] [17]
10	Michael L. Littman	[13]
11	David Lybäck	[2]
12	Mark Moors	[4]
13	David J. Musliner	[8]
14	Gethin Norman	[9] [17]
15	David Parker	[9] [17]
16	Reid G. Simmons	[4] [5] [6] [7] [8] [10] [11] [18]
17	Sebastian Thrun	[4]
18	David Weissman	[13]

Colors in the list of coauthors