LEE E GREGORY

Systems and methods for performing temporal logic queries