Publications

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

** will be available soon.

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.

N. Piterman and A. Pnueli. Faster Solutions of Rabin and Streett Games. 2006. In Proc. 21st Symposium on Logic in Computer Science, pages 275--284. © IEEE press.

** 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.