dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Reid G. Simmons (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReid G. Simmons, Håkan L. S. Younes: VHPOP: Versatile Heuristic Partial Order Planner CoRR abs/1106.4868: (2011)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9): 1368-1409 (2006)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. AAAI 2004: 742-748
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: Policy Generation for Continuous-time Stochastic Domains with Concurrency. ICAPS 2004: 325-334
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, David J. Musliner, Reid G. Simmons: A Framework for Planning in Continuous-time Stochastic Domains. ICAPS 2003: 195-204
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. (JAIR) 20: 405-430 (2003)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: On the Role of Ground Actions in Refinement Planning. AIPS 2002: 54-62
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Reid G. Simmons: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. CAV 2002: 223-235
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReid 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: 852-858

Selection of 9 from 107 records - Reid G. Simmons has 130 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page