ERD

Enhancing Adversarial Training with Second-Order Statistics of Weights

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Semantic Modeling and Analysis of Natural Language System Requirements

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Robustness Verification for Attention Networks using Mixed Integer Programming

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Runtime Verification for FMI-Based Co-simulation

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

On Neural Network Equivalence Checking using SMT Solvers

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Reliable Multimodal Trajectory Prediction via Error Aligned Uncertainty Optimization

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Safety Metrics for Semantic Segmentation in Autonomous Driving

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Report: Provable safe reinforcement learning

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Detecting Operational Adversarial Examples for Reliable Deep Learning

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Project newsletter 1

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Embedding and Extraction of Knowledge in Tree Ensemble Classifiers

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Safe Imitation Learning on Real-Life Highway Data for Human-like Autonomous Driving

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Survey on mining signal temporal logic specifications

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Online Shielding for Reinforcement Learning

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Report: Systematic and coverage-driven testing of learning components

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Dissemination set (poster, leaflet, Kakemono) and Website

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Continuous Safety Verification of Neural Networks

Project: FOCETA

Updated at: 31-07-2023

Show more information

Project acronym FOCETA

Periodic Reporting for period 1 - FOCETA (FOUNDATIONS FOR CONTINUOUS ENGINEERING OF TRUSTWORTHY AUTONOMY)

Project: FOCETA

Updated at: 17-02-2023

Show more information

Project acronym FOCETA

Resources