Abstract: This paper investigates the ability of deep neural networks (DNNs) to predict a specific room impulse response (RIR) between two given room locations. We use three end-to-end deep learning ...

Formal approaches, which have their roots in logic and mathematics, offer reliable guarantees of the accuracy of software systems. Many strategies have been developed, including model checking, ...