Stefano Pessotto

According to our database, Stefano Pessotto authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Safety and Liveness on Finite Words.

Luca Geatti, Stefano Pessotto, Stefano Tonetta

Proceedings of the 32nd International Symposium on Temporal Representation and Reasoning, 2025

2024

Speeding up Answer Set Programming by Quantum Computing.

Riccardo Romanello, Davide Della Giustina, Stefano Pessotto, Carla Piazza

Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval, 2024