Håkan L. S. Younes

Publication Activity (10 Years)

Years Active: 1999-2013
Publications (10 Years): 0

Top Topics

Possibility Theory

Decision Making Under Uncertainty

Stochastic Programming

Top Venues

Publications

Magnus Boman, Paul Davidsson, Håkan L. S. Younes
Artificial Decision Making Under Uncertainty in Intelligent Buildings CoRR (2013)
Reid G. Simmons, Håkan L. S. Younes
VHPOP: Versatile Heuristic Partial Order Planner CoRR (2011)
Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF (2010)
Håkan L. S. Younes, Reid G. Simmons
Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204 (9) (2006)
Håkan L. S. Younes
Error Control for Probabilistic Model Checking. VMCAI (2006)
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Håkan L. S. Younes
Probabilistic Verification for "Black-Box" Systems. CAV (2005)
Håkan L. S. Younes
Ymer: A Statistical Model Checker. CAV (2005)
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. 24 (2005)
Håkan L. S. Younes
Planning and Execution with Phase Transitions. AAAI (2005)
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS (2004)
Håkan L. S. Younes, Reid G. Simmons
Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. AAAI (2004)
Håkan L. S. Younes
Planning and Verification for Stochastic Processes with Asynchronous Events. AAAI (2004)
Håkan L. S. Younes, Reid G. Simmons
Policy Generation for Continuous-time Stochastic Domains with Concurrency. ICAPS (2004)
Håkan L. S. Younes, Reid G. Simmons
VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. 20 (2003)
Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
A Framework for Planning in Continuous-time Stochastic Domains. ICAPS (2003)
Håkan L. S. Younes, Reid G. Simmons
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. CAV (2002)
Håkan L. S. Younes, Reid G. Simmons
On the Role of Ground Actions in Refinement Planning. AIPS (2002)
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)
Håkan L. S. Younes, Love Ekenberg
A Deterministic Algorithm for Solving Imprecise Decision Problems. FLAIRS Conference (2000)
Magnus Boman, Paul Davidsson, Håkan L. S. Younes
Artificial Decision Making Under Uncertainty in Intelligent Buildings. UAI (1999)
Johan Kummeneje, David Lybäck, Håkan L. S. Younes, Magnus Boman
UBU Team. RoboCup (1999)