Noemi Passing
- Specification Decomposition for Reactive Synthesis
2021/03/15 by Bernd Finkbeiner, Finkbeiner, Bernd, Gideon Geier +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Radiation Effects in Electronics #Software Testing and Debugging Techniques