Simon Scatton

According to our database, Simon Scatton authored at least 1 paper in 2024.

Collaborative distances:

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

2024

SAT-Based Learning of Computation Tree Logic.

Adrien Pommellet, Daniel Stan, Simon Scatton

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024