Luan Viet Nguyen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Xiaodong Yang
41 publications
Khaza Anuarul Hoque
23 publications
Taylor T. Johnson
22 publications
Stanley Bak
18 publications
Weiming Xiang
14 publications
Hoang-Dung Tran
12 publications
Patrick Musau
5 publications
Diego Manzanas Lopez
5 publications
Ernest Bonnah
2 publications

research

∙ 08/02/2023

Model Checking Time Window Temporal Logic for Hyperproperties

Hyperproperties extend trace properties to express properties of sets of...

0 Ernest Bonnah, et al. ∙

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,...

0 Hoang-Dung Tran, et al. ∙

research

∙ 09/19/2019

Real-Time Verification for Distributed Cyber-Physical Systems

Safety-critical distributed cyber-physical systems (CPSs) have been foun...

0 Hoang-Dung Tran, et al. ∙

research

∙ 04/08/2014

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter

In this paper, we present the virtual prototyping of a solar array with ...

0 Luan Viet Nguyen, et al. ∙