![]() | ![]() |
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] |