Spot, a library we use for generating deterministic finite automata from LTL specifications. See demo in OMPL.
Recommended Further Reading
H. Choset, K.M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L.E. Kavraki, and S. Thrun, Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, 2005. http://motionplanning.com