Comments on: Increasing the Scalability of LTL Synthesis: Generalized Rabin(1) Decision Procedures and Symbolic Bounded Synthesis

Comments on: Increasing the Scalability of LTL Synthesis: Generalized Rabin(1) Decision Procedures and Symbolic Bounded Synthesis http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1