( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.

, and . CAV, volume 2404 of Lecture Notes in Computer Science, page 223-235. Springer, (2002)

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

Planning and Execution with Phase Transitions.. AAAI, page 1030-1036. AAAI Press / The MIT Press, (2005)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)VHPOP: Versatile Heuristic Partial Order Planner, and . CoRR, (2011)UBU Team., , , and . RoboCup, volume 1856 of Lecture Notes in Computer Science, page 642-645. Springer, (1999)The First Probabilistic Track of the International Planning Competition., , , and . J. Artif. Intell. Res., (2005)Statistical probabilistic model checking with a focus on time-bounded properties., and . Inf. Comput., 204 (9): 1368-1409 (2006)Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 46-60. Springer, (2004)Statistical Verification of Probabilistic Properties with Unbounded Until., , and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 144-160. Springer, (2010)On the Role of Ground Actions in Refinement Planning., and . AIPS, page 54-62. AAAI, (2002)