Håkan L. S. Younes
Google Publications
-
Statistical verification of probabilistic properties with unbounded until
Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
Proceedings of the 13th Brazilian Symposium on Formal Methods, Springer, Berlin / Heidelberg (2010), pp. 144-160
Previous Publications
-
Error control for probabilistic model checking
Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, Berlin / Heidelberg (2006), pp. 142-156
-
Numerical vs. statistical probabilistic model checking
Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker
International Journal on Software Tools for Technology Transfer, vol. 8 (2006), pp. 216-228
-
Statistical probabilistic model checking with a focus on time-bounded properties
Håkan L. S. Younes, Reid G. Simmons
Information and Computation, vol. 204 (2006), pp. 1368-1409
-
Planning and execution with phase transitions
Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, California (2005), pp. 1030-1035
-
Probabilistic verification for ``black-box'' systems
Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 253-265
-
The first probabilistic track of the international planning competition
Håkan L. S. Younes, Michael L. Littman, David Weissman, John Asmuth
Journal of Artificial Intelligence Research, vol. 24 (2005), pp. 851-887
-
Ymer: A statistical model checker
Proceedings of the 17th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2005), pp. 429-433
-
Numerical vs. statistical probabilistic model checking: An empirical study
Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker
Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin / Heidelberg (2004), pp. 46-60
-
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, AAAI Press, Menlo Park, California (2004), pp. 325-333
-
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, AAAI Press, Menlo Park, California (2004), pp. 742-747
-
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, AAAI Press, Menlo Park, California (2003), pp. 195-204
-
VHPOP: Versatile heuristic partial order planner
Håkan L. S. Younes, Reid G. Simmons
Journal of Artificial Intelligence Research, vol. 20 (2003), pp. 405-430
-
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 and Scheduling Systems, AAAI Press, Menlo Park, California (2002), pp. 54-61
-
Probabilistic verification of discrete event systems using acceptance sampling
Håkan L. S. Younes, Reid G. Simmons
Proceedings of the 14th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2002), pp. 223-235
-
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, AAAI Press, Menlo Park, California (2000), pp. 313-317
-
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, AAAI Press, Menlo Park, California (2000), pp. 852-858
-
Artificial decision making under uncertainty in intelligent buildings
Magnus Boman, Paul Davidsson, Håkan L. S. Younes
Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann Publishers, San Francisco, California (1999), pp. 65-70
