research
∙
08/02/2023
Model Checking Time Window Temporal Logic for Hyperproperties
Hyperproperties extend trace properties to express properties of sets of...
share
research
∙
04/12/2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
This paper presents the Neural Network Verification (NNV) software tool,...
research
∙
09/19/2019
Real-Time Verification for Distributed Cyber-Physical Systems
Safety-critical distributed cyber-physical systems (CPSs) have been foun...
research
∙
04/08/2014