( en | de | ru )

 

Disambiguation of "Younes, Håkan L. S."

Author of the publication

copydeleteadd this publication to your clipboard
Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions.

, and . AAAI, page 742-748. AAAI Press / The MIT Press, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anne Håkansson

Håkan Terelius

Håkan Bårman

Håkan Zeffer

Håkan Sundell

 

Other publications of authors with the same name

VHPOP: Versatile Heuristic Partial Order Planner., and . J. Artif. Intell. Res., (2003)Ymer: A Statistical Model Checker.. CAV, volume 3576 of Lecture Notes in Computer Science, page 429-433. Springer, (2005)Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 223-235. Springer, (2002)Planning and Execution with Phase Transitions.. AAAI, page 1030-1036. AAAI Press / The MIT Press, (2005)A Deterministic Algorithm for Solving Imprecise Decision Problems., and . FLAIRS, page 313-317. AAAI Press, (2000)Policy Generation for Continuous-time Stochastic Domains with Concurrency., and . ICAPS, page 325-334. AAAI, (2004)Error Control for Probabilistic Model Checking.. VMCAI, volume 3855 of Lecture Notes in Computer Science, page 142-156. Springer, (2006)Probabilistic Verification for "Black-Box" Systems.. CAV, volume 3576 of Lecture Notes in Computer Science, page 253-265. Springer, (2005)Planning and Verification for Stochastic Processes with Asynchronous Events.. AAAI, page 1001-1002. AAAI Press / The MIT Press, (2004)Numerical vs. statistical probabilistic model checking., , , and . Int. J. Softw. Tools Technol. Transf., 8 (3): 216-228 (2006)