Search Results for author:
Found 2 papers, 0 papers with code
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
One approach for providing runtime assurance of systems with components that may not be amenable to formal analysis is the simplex architecture, where an unverified component is wrapped with a safety controller and a switching logic designed to prevent dangerous behavior.
Automated detection of corrosion in used nuclear fuel dry storage canisters using residual neural networks
The results demonstrate that such a deep learning approach allows to detect the locus of corrosion via smaller tiles, and at the same time to infer with high accuracy whether an image comes from a corroded canister.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
