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

Arthur Correnson

  1. Coinductive Proofs for Temporal Hyperliveness
    2025/01/14 by Arthur Correnson, Bernd Finkbeiner, Correnson, Arthur +1 · 3 citations
    Computer Science · #Constraint Satisfaction and Optimization #Advanced Algebra and Logic