Pommellet, Adrien

1. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
   2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. 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)