| * | 1999 | |
|---|---|---|
| 2 | EE | Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260 |
| 1 | Marco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48 | |
| 1 | Fausto Giunchiglia | [2] |
| 2 | Paolo Traverso | [1] |
| 3 | Moshe Y. Vardi | [1] [2] |