Our paper “Regular Model Checking Using Solver Technologies and Automata Learning” was accepted at NFM 2013.