January 9, 2006: 7th International Conference on Verification, Model Checking, and Abstract Interpretation
[ PPT | PDF ] Error Control for Probabilistic Model Checking
July 11, 2005: Twentieth National Conference on Artificial Intelligence
[ PPT | PDF ] Planning and Execution with Phase Transitions
July 9, 2005: 17th International Conference on Computer Aided Verification
[ PPT | PDF ] Ymer: A Statistical Model Checker
July 8, 2005: 17th International Conference on Computer Aided Verification
[ PPT | PDF ] Probabilistic Verification for “Black-Box” Systems
December 10, 2004: PhD Thesis Defense
[ PDF ] Verification and Planning for Stochastic Processes with Asynchronous Events
July 28, 2004: Nineteenth National Conference on Artificial Intelligence
[ PPT | PDF ] Solving Generalized Semi-Markov Decision Processes using Continuous Phase-Type Distributions
July 26, 2004: AAAI-04 Workshop on Learning and Planning in Markov Processes—Advances and Challenges
[ PDF ] A Formalism for Stochastic Decision Processes with Asynchronous Events
July 25, 2004: Ninth AAAI/SIGART Doctoral Consortium
[ PDF ] Planning and Verification for Stochastic Processes with Asynchronous Events
June 6, 2004: Fourteenth International Conference on Automated Planning and Scheduling
[ PPT | PDF ] Policy Generation for Continuous-Time Stochastic Domains with Concurrency
April 27, 2004: High-Confidence Embedded Systems: Annual Research Review and Workshop
[ PDF ] Statistical Probabilistic Model Checking
April 12, 2004: Machine Learning Lunchtime Chats at CMU
[ PDF ] Decision-Theoretic Planning with Asynchronous Events
March 29, 2004: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
[ PPT | PDF ] Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
June 12, 2003: Thirteenth International Conference on Automated Planning and Scheduling
[ PPT | PDF ] A Framework for Planning in Continuous-time Stochastic Domains
June 10, 2003: ICAPS-03 Workshop on PDDL
[ PDF ] Extending PDDL to Model Stochastic Decision Processes
June 9, 2003: ICAPS-03 Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks
[ PDF ] IPC 2004 Probabilistic Planning Track: FAQ 0.1
May 15, 2003: Dagstuhl Seminar on Probabilistic Methods in Verification and Planning
[ PDF ] Acceptance Sampling and its Use in Probabilistic Verification
March 28, 2003: Durham University Computer Science Departmental Research Seminar
[ PDF ] Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
March 19, 2003: Durham Planning Group Seminar
[ PDF ] Heuristic POCL Planning
February 19, 2003: Thesis Proposal
[ PDF ] Planning with Concurrency in Continuous-time Stochastic Domains
July 28, 2002: 14th International Conference on Computer Aided Verification
[ PPT | PDF ] Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
April 27, 2002: Sixth International Conference on Artificial Intelligence Planning and Scheduling Systems
[ PPT | PDF ] On the role of Ground Actions in Refinement Planning
April 23, 2002: AIPS-02 Workshop on Planning via Model Checking
[ PDF ] Probabilistic Plan Verification through Acceptance Sampling
March 15, 2002: SCS Student Seminar Series
[ PDF ] Probabilistic Verification of Discrete Event Systems
May 23, 2000: Thirteenth International Florida Artificial Intelligence Research Society Conference
[ PDF ] A Deterministic Algorithm for Solving Imprecise Decision Problems
November 18, 1998: Master's Thesis Defense
[ PDF ] Current Tools for Assisting Intelligent Agents in Real-time Decision Making
|
|
Håkan L. S. Younes | [ Home ] |
| Last modified: Thu Jun 22 13:20:45 EDT 2006 |