Husain Aljazzar
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths Artificial Intelligence | 2012-05-23 | Paper |
| Survey on Directed Model Checking Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
| Extended Directed Search for Probabilistic Timed Reachability Lecture Notes in Computer Science | 2008-07-08 | Paper |
| Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science | 2006-11-14 | Paper |
Research outcomes over time
This page was built for person: Husain Aljazzar
