Håkan L. S. Younes

Geciteerd door

	Alles	Sinds 2016
Citaties	3047	807
h-index	19	12
i10-index	21	14

220

110

165

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 15 21 41 70 105 106 144 130 152 188 170 212 204 204 219 206 210 150 150 146 138 13

Medeauteurs

Reid G. SimmonsCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Michael LittmanBrown UniversityGeverifieerd e-mailadres voor brown.edu
Sebastian ThrunStanfordGeverifieerd e-mailadres voor stanford.edu
Wolfram BurgardProfessor of Computer Science, University of FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
Dieter FoxUniversity of Washington and NVIDIAGeverifieerd e-mailadres voor cs.washington.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceGeverifieerd e-mailadres voor glasgow.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Magnus BomanProfessor in Intelligent Software Services, School of EECS, KTHGeverifieerd e-mailadres voor kth.se
John AsmuthRutgers UniversityGeverifieerd e-mailadres voor cs.rutgers.edu
David MuslinerSmart Information Flow Technologies (SIFT)Geverifieerd e-mailadres voor musliner.com
Paolo ZulianiSenior Lecturer (Associate Professor), School of Computing, Newcastle University, UKGeverifieerd e-mailadres voor ncl.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Paul DavidssonProfessor of Computer Science, Malmö University, SwedenGeverifieerd e-mailadres voor mau.se
harko verhagenAssociate Professor of Computer and Systems Sciences, Stockholm UniversityGeverifieerd e-mailadres voor dsv.su.se

Håkan L. S. Younes

Google Inc

Geverifieerd e-mailadres voor google.com - Homepage

Artificial Intelligence Model Checking


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Coordination for multi-robot exploration and mapping R Simmons, D Apfelbaum, W Burgard, D Fox, M Moors, S Thrun, ... Aaai/Iaai, 852-858, 2000	708	2000
Probabilistic verification of discrete event systems using acceptance sampling HLS Younes, RG Simmons International Conference on Computer Aided Verification, 223-235, 2002	396	2002
VHPOP: Versatile heuristic partial order planner HLS Younes, RG Simmons Journal of Artificial Intelligence Research 20, 405-430, 2003	253	2003
Numerical vs. statistical probabilistic model checking HLS Younes, M Kwiatkowska, G Norman, D Parker International Journal on Software Tools for Technology Transfer 8 (3), 216-228, 2006	248	2006
PPDDL1. 0: An extension to PDDL for expressing planning domains with probabilistic effects HLS Younes, ML Littman Techn. Rep. CMU-CS-04-162 2, 99, 2004	247	2004
Statistical probabilistic model checking with a focus on time-bounded properties HLS Younes, RG Simmons Information and Computation 204 (9), 1368-1409, 2006	218	2006
Ymer: A statistical model checker HLS Younes Computer Aided Verification, 171-179, 2005	204	2005
The first probabilistic track of the international planning competition HLS Younes, ML Littman, D Weissman, J Asmuth Journal of Artificial Intelligence Research 24, 851-887, 2005	168	2005
Solving generalized semi-markov decision processes using continuous phase-type distributions HLS Younes, RG Simmons PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, 742-748, 2004	112	2004
Numerical vs. statistical probabilistic model checking: An empirical study HLS Younes, M Kwiatkowska, G Norman, D Parker International Conference on Tools and Algorithms for the Construction and …, 2004	65	2004
Error control for probabilistic model checking HLS Younes Verification, Model Checking, and Abstract Interpretation, 142-156, 2006	58	2006
Artificial decision making under uncertainty in intelligent buildings M Boman, P Davidsson, HL Younes arXiv preprint arXiv:1301.6680, 2013	56	2013
Statistical verification of probabilistic properties with unbounded until HLS Younes, EM Clarke, P Zuliani Formal Methods: Foundations and Applications, 144-160, 2011	56	2011
On the Role of Ground Actions in Refinement Planning. HLS Younes, RG Simmons AIPS, 54-62, 2002	55	2002
Probabilistic verification for “black-box” systems HLS Younes Computer Aided Verification, 275-278, 2005	45	2005
Probabilistic plan verification through acceptance sampling HLS Younes, DJ Musliner Proceedings of the AIPS-02 Workshop on Planning via Model Checking, 81-88, 2002	35	2002
Extending PDDL to model stochastic decision processes HLS Younes Proceedings of the ICAPS-03 Workshop on PDDL, 95-103, 2003	31	2003
A Framework for Planning in Continuous-time Stochastic Domains. HLS Younes, DJ Musliner, RG Simmons ICAPS, 195-204, 2003	30	2003
Current tools for assisting intelligent agents in real-time decision making HL Younes Master's thesis, Royal Institute of Technology and Stockholm University …, 1998	24	1998
Planning and execution with phase transitions HLS Younes PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 1030, 2005	11	2005

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs