Optimizations for LTL Synthesis

We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B

• Type: Conference
• Year: 2006
• Where: FMCAD
• Authors: Barbara Jobstmann, Roderick Bloem
• Keywords: Co-B¨uchi Tree Automata, FMCAD 2006, Formal Methods, Tree Automata, Weak Tree Automata