Fingerprint
Dive into the research topics of 'Reasoning with temporal logic on truncated paths'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasoning with temporal logic on truncated paths
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
155
Scopus
citations