vix.ing · top · new · best · stats · spec

Scatton, Simon

  1. SAT-based Learning of Computation Tree Logic
    2024/02/09 by Pommellet, Adrien, Stan, Daniel, Scatton, Simon · 4 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)