research
∙
07/26/2022
Extensible Proof Systems for Infinite-State Systems
This paper revisits soundness and completeness of proof systems for prov...
share
research
∙
09/02/2021
Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach
The resilience of cyberphysical systems to denial-of-service (DoS) and i...
research
∙
06/06/2020
Temporal-Logic Query Checking over Finite Data Streams
This paper describes a technique for inferring temporal-logic properties...
research
∙
10/16/2019
A Tableau Construction for Finite Linear-Time Temporal Logic
This paper describes a method for converting formulas in finite proposit...
research
∙
03/16/2019