Two papers accepted in TACAS’17

The joint work between ISCAS and RWTH, together with the Universidad Nacional de Cordoba and the University of Twente, about JANI, a quantitative model and tool interaction specification [BuddeDHHJT17] has been accepted at TACAS’17.

Also the ISCAS work, together with Academia Sinica, about learning Büchi automata by means of families of DFAs and classification trees [LiCZL17] has been accepted at TACAS’17.