works on
face lattice 1feed-forward networks 1neural network verification 1polytope methods 1reachability analysis 1relu activation 1

From the 1 of 14 linked papers with an AI index.

activity
20172023
most citedReachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

70 citations · 99 across the 11 of their papers we have counts for

collaborators
Showing cs.MAShow all

1 paper · 1 filter

cs.MA2019

Real-Time Verification for Distributed Cyber-Physical Systems

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau +2

Safety-critical distributed cyber-physical systems (CPSs) have been found in a wide range of applications. Notably, they have displayed a great deal of utility in intelligent trans…