Labeled Transition Systems by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel Oct 31
A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl and Salomon Sickert Apr 16
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions by Dmitriy Traytel and Tobias Nipkow Jun 12