 | 2011 |
|---|
| 7 |       | Fan Xie,
Hootan Nakhost,
Martin Müller:
A Local Monte Carlo Tree Search Approach in Deterministic Planning.
AAAI 2011 |
| 2010 |
|---|
| 6 | | Hootan Nakhost,
Martin Müller:
Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement.
ICAPS 2010: 121-128 |
| 5 | | Hootan Nakhost,
Jörg Hoffmann,
Martin Müller:
Improving Local Search for Resource-Constrained Planning.
SOCS 2010 |
| 2009 |
|---|
| 4 | | Hootan Nakhost,
Martin Müller:
Monte-Carlo Exploration for Deterministic Planning.
IJCAI 2009: 1766-1771 |
| 2007 |
|---|
| 3 | | Amirali Houshmandan,
Gholamreza Ghassem-Sani,
Hootan Nakhost:
Integration of Symmetry and Macro-operators in Planning.
MICAI 2007: 1056-1066 |
| 2 | | Hossein Hojjat,
Hootan Nakhost,
Marjan Sirjani:
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
J. UCS 13(13): 2076-2104 (2007) |
| 2006 |
|---|
| 1 | | Hossein Hojjat,
Hootan Nakhost,
Marjan Sirjani:
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca.
Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page