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

Salomon Sickert

  1. A Unified Translation of Linear Temporal Logic to ω-Automata
    2020/10/17 by Javier Esparza, Jan Křetínský, Salomon Sickert · 6 citations
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory