A tableau construction for finite linear-time temporal logic

Document Details

Document Type: Pub Defense Publication
Publication Date: Feb 01, 2022
Source ID: 10.1016/j.jlamp.2021.100743

Entities

People

Rance Cleaveland
Samuel Huang

Organizations

National Science Foundation
Office of Naval Research