Linear Temporal Logic (Lt)
November 19, 2015 12:00 pm
An explanation of Linear Temporal Logic, or Lt as a system where the property of linearity or connectedness is added to the system.