SAT-Based Learning of Computation Tree Logic.

Adrien Pommellet, Daniel Stan, Simon Scatton

Browse the full IJCAR paper archive.