
-
Towards a Mathematical Understanding of the Difficulty in Learning with Feedforward Neural Networks
Training deep neural networks for solving machine learning problems is o...
read it
-
Maximum Resilience of Artificial Neural Networks
The deployment of Artificial Neural Networks (ANNs) in safety-critical a...
read it
-
Verification of Binarized Neural Networks
We study the problem of formal verification of Binarized Neural Networks...
read it
-
Verification of Binarized Neural Networks via Inter-Neuron Factoring
We study the problem of formal verification of Binarized Neural Networks...
read it
-
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Systematically testing models learned from neural networks remains a cru...
read it
-
Towards Dependability Metrics for Neural Networks
Neural networks and other data engineered models are instrumental in dev...
read it
-
ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification
Formal Verification (FV) and Machine Learning (ML) can seem incompatible...
read it
-
Runtime Monitoring Neural Activation Patterns
For using neural networks in safety critical domains, it is important to...
read it
-
Runtime Monitoring Neuron Activation Patterns
For using neural networks in safety critical domains, it is important to...
read it
-
Compliance in Real Time Multiset Rewriting Models
The notion of compliance in Multiset Rewriting Models (MSR) has been int...
read it
-
A Differential Topological View of Challenges in Learning with Feedforward Neural Networks
Among many unsolved puzzles in theories of Deep Neural Networks (DNNs), ...
read it
-
Traceability of Deep Neural Networks
[Context.] The success of deep learning makes its usage more and more te...
read it
-
Architecting Dependable Learning-enabled Autonomous Systems: A Survey
We provide a summary over architectural approaches that can be used to c...
read it
-
A Generative Map for Image-based Camera Localization
In image-based camera localization systems, information about the enviro...
read it
-
Towards Safety Verification of Direct Perception Neural Networks
We study the problem of safety verification of direct perception neural ...
read it
-
Generating Requirements Out of Thin Air: Towards Automated Feature Identification for New Apps
App store mining has proven to be a promising technique for requirements...
read it
-
Lane-Merging Using Policy-based Reinforcement Learning and Post-Optimization
Many current behavior generation methods struggle to handle real-world t...
read it
-
Robust Stochastic Bayesian Games for Behavior Space Coverage
A key challenge in multi-agent systems is the design of intelligent agen...
read it
-
Leveraging Context-awareness to Better Support the IoT Cloud-Edge Continuum
Novel Internet of Things (IoT) requirements derived from a broader inter...
read it
-
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Businesses, particularly small and medium-sized enterprises, aiming to s...
read it
-
toki: A Build- and Test-Platform for Prototyping and Evaluating Operating System Concepts in Real-Time Environments
Typically, even low-level operating system concepts, such as resource sh...
read it