Work

Runtime Verified Neural Networks for Cyber-Physical Systems

Year: 2024

Type: conference-paper

DOI: 10.1145/3679008.3685547

Authors: Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha Roop

Institutions: Indian Institute of Technology Bhubaneswar, UNSW Sydney, University of Auckland

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402526807

FWCI: 0.707

Cites: 14

Cited by: 1

Related to: 10