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

Shufang Zhu

  1. A Symbolic Approach to Safety LTL Synthesis
    2017/09/21 by Shufang Zhu, Zhu, Shufang, Lucas M. Tabajara +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques