Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Stanley Bak
Researcher
PaperNeural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State BackreachabilityAuthorship / preprint / 2022PaperVerification of Deep Convolutional Neural Networks Using ImageStarsAuthorship / preprint / 2020PaperS3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical SystemsAuthorship / preprint / 2012PaperThe Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPSAuthorship / preprint / 2022PaperA Comparison of Approaches for Solving Hard Graph-Theoretic ProblemsAuthorship / preprint / 2015PaperNNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical SystemsAuthorship / preprint / 2020