ITCL documentation

General report in pdf format. Friday, January 05, 2001

ITCL temporal logic description in pdf fomat. Friday, January 05, 2001

ITCL example in pdf fomat. Friday, January 05, 2001

Using some examples to compare different temporal logics. In pdf fomat. Monday, December 04, 2000

This software was developed by Reid Simmons and Joaquin Lopez Fernandez of Carnegie Mellon University.
This software was funded by NASA-Ames under Contract No. NAS2-00002. Last modified: Thu Jan 4 17:00:13 EST 2001