Håkan L. S. Younes

According to our database, Håkan L. S. Younes authored at least 20 papers between 1999 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Statistical Verification of Probabilistic Properties with Unbounded Until.

Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani

Proceedings of the Formal Methods: Foundations and Applications, 2010

2006

Numerical vs. statistical probabilistic model checking.

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Int. J. Softw. Tools Technol. Transf., 2006

Statistical probabilistic model checking with a focus on time-bounded properties.

Håkan L. S. Younes, Reid G. Simmons

Inf. Comput., 2006

Error Control for Probabilistic Model Checking.

Håkan L. S. Younes

Proceedings of the Verification, 2006

2005

The First Probabilistic Track of the International Planning Competition.

Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth

J. Artif. Intell. Res., 2005

Ymer: A Statistical Model Checker.

Håkan L. S. Younes

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Probabilistic Verification for "Black-Box" Systems.

Håkan L. S. Younes

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Planning and Execution with Phase Transitions.

Håkan L. S. Younes

Proceedings of the Proceedings, 2005

2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Policy Generation for Continuous-time Stochastic Domains with Concurrency.

Håkan L. S. Younes, Reid G. Simmons

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions.

Håkan L. S. Younes, Reid G. Simmons

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Planning and Verification for Stochastic Processes with Asynchronous Events.

Håkan L. S. Younes

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

VHPOP: Versatile Heuristic Partial Order Planner.

Håkan L. S. Younes, Reid G. Simmons

J. Artif. Intell. Res., 2003

A Framework for Planning in Continuous-time Stochastic Domains.

Håkan L. S. Younes, David J. Musliner, Reid G. Simmons

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.

Håkan L. S. Younes, Reid G. Simmons

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

On the Role of Ground Actions in Refinement Planning.

Håkan L. S. Younes, Reid G. Simmons

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2000

A Deterministic Algorithm for Solving Imprecise Decision Problems.

Håkan L. S. Younes, Love Ekenberg

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Coordination for Multi-Robot Exploration and Mapping.

Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, Håkan L. S. Younes

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Artificial Decision Making Under Uncertainty in Intelligent Buildings.

Magnus Boman, Paul Davidsson, Håkan L. S. Younes

Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

UBU Team.

Johan Kummeneje, David Lybäck, Håkan L. S. Younes, Magnus Boman

Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999