The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Tsay Y-, Chen Y-, Wu K-. Tool Support for Learning Buchi Automata and Linear Temporal Logic. In: Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium.; 2006.