If you have anything that you published using JTLV, please let us know.

  • N. Priterman, A. Pnueli, and Y. Sa'ar.
    Synthesis of Reactive(1) Designs.
    2006. In Proc. 7th International Conference on Verification, Model Checking and Abstract Interpretation,volume 3855 of LNCS, pages 364-380. © Springer-Verlag.
** Initially implemented with TLV, but our main stream is now implemented with JTLV, and available in the library.

** Initially submitted without an implementation.

  • Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, and Vijay Kumar.
    Recycling Controllers .
    2008 IEEE Conference on Automation Science and Engineering, Washington DC, August 2008.