Håkan L. S. Younes

Coordination for Multi-Robot Exploration and Mapping

Reid Simmons, David Apfelbaum, Wolfram Burgard et al. · 2000 · 496 citations

Engineering, Computer Science, Robotics Engineering +12

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman et al. · International Journal on Software Tools for Technology Transfer · 2006 · 210 citations

Computing, Computer Science, Formal Methods +11

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

Håkan L. S. Younes, Reid Simmons · Information and Computation · 2006 · 200 citations

Computing, Computer Science, Computer Systems +14

VHPOP: Versatile Heuristic Partial Order Planner

Håkan L. S. Younes, Reid Simmons · Journal of Artificial Intelligence Research · 2003 · 184 citations · Full text

Computing, Autonomous Systems, Motion Planning +13

Verification and planning for stochastic processes with asynchronous events

Håkan L. S. Younes, Reid Simmons · Defense Technical Information Center (DTIC) · 2004 · 159 citations

Engineering, Computer Science, Computer Systems +13