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

Maderbacher, Benedikt

  1. Reactive Synthesis Modulo Theories Using Abstraction Refinement
    2021/07/30 by Maderbacher, Benedikt, Bloem, Roderick · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)