Marco Daniele

According to our database, Marco Daniele authored at least 2 papers in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1999

Strong Cyclic Planning Revisited.

Marco Daniele, Paolo Traverso, Moshe Y. Vardi

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Improved Automata Generation for Linear Temporal Logic.

Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999