Håkan L. S. Younes

22 papers A* 8A 2B 1C 1Misc 1Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Artificial Decision Making Under Uncertainty in Intelligent Buildings CoRR Magnus Boman, Paul Davidsson, Håkan L. S. Younes
2011	J	`jnl`	VHPOP: Versatile Heuristic Partial Order Planner CoRR Reid G. Simmons, Håkan L. S. Younes
2010	—	`conf`	Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
2006	B	`conf`	Error Control for Probabilistic Model Checking. VMCAI Håkan L. S. Younes
2006	J	`jnl`	Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. Håkan L. S. Younes, Reid G. Simmons
2005	A*	`conf`	Planning and Execution with Phase Transitions. AAAI Håkan L. S. Younes
2005	A*	`conf`	Probabilistic Verification for "Black-Box" Systems. CAV Håkan L. S. Younes
2005	J	`jnl`	The First Probabilistic Track of the International Planning Competition. J. Artif. Intell. Res. Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth
2005	A*	`conf`	Ymer: A Statistical Model Checker. CAV Håkan L. S. Younes
2004	A	`conf`	Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	A*	`conf`	Planning and Verification for Stochastic Processes with Asynchronous Events. AAAI Håkan L. S. Younes
2004	A*	`conf`	Policy Generation for Continuous-time Stochastic Domains with Concurrency. ICAPS Håkan L. S. Younes, Reid G. Simmons
2004	A*	`conf`	Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. AAAI Håkan L. S. Younes, Reid G. Simmons
2003	A*	`conf`	A Framework for Planning in Continuous-time Stochastic Domains. ICAPS Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
2003	J	`jnl`	VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. Håkan L. S. Younes, Reid G. Simmons
2002	—	`conf`	On the Role of Ground Actions in Refinement Planning. AIPS Håkan L. S. Younes, Reid G. Simmons
2002	A*	`conf`	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. CAV Håkan L. S. Younes, Reid G. Simmons
2000	Misc	`conf`	A Deterministic Algorithm for Solving Imprecise Decision Problems. FLAIRS Håkan L. S. Younes, Love Ekenberg
2000	—	`conf`	Coordination for Multi-Robot Exploration and Mapping. AAAI/IAAI Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, Håkan L. S. Younes
1999	A	`conf`	Artificial Decision Making Under Uncertainty in Intelligent Buildings. UAI Magnus Boman, Paul Davidsson, Håkan L. S. Younes
1999	C	`conf`	UBU Team. RoboCup Johan Kummeneje, David Lybäck, Håkan L. S. Younes, Magnus Boman