Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| SOFIA's Choice: Scheduling Observations for an Airborne Observatory | 2 | 0.56 | 2003 |
| Formal Verification for a Next-Generation Space Shuttle | 0 | 0.34 | 2002 |
| On Reformulating Planning as Dynamic Constraint Satisfaction | 10 | 0.91 | 2000 |