Search Results for author:
Found 2 papers, 1 papers with code
Safe Reach Set Computation via Neural Barrier Certificates
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates.
Modelling and Simulating the Noisy Behaviour of Near-term Quantum Computers
Noise dominates every aspect of near-term quantum computers, rendering it exceedingly difficult to carry out even small computations.
Quantum Physics
Cannot find the paper you are looking for? You can
Submit a new open access paper.
