ERD

Uncertify: Attacks Against Neural Network Certification

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

When to trust AI: advances and challenges for certification of neural networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Symbolic Causal Inference via Operations on Probabilistic Circuits

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Adversarial Robustness Certification for Bayesian Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

SafeDRL

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Planning for Automated Vehicles with Human Trust

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Bayesian Inference with Certifiable Adversarial Robustness

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Multi-Objective Controller Synthesis with Uncertain Human Preferences

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On the Benefits of Invariance in Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Safe POMDP Online Planning via Shielding

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Distributional Probabilistic Model Checking

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Provable Preimage Under-Approximation for Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Automated Verification of Concurrent Stochastic Systems

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

The King is Naked: on the Notion of Robustness for Natural Language Processing

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robustness Guarantees for Bayesian Neural Networks (invited extended abstract of a keynote speaker)

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robustness of Unsupervised Representation Learning without Labels

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

PRISM-games 3.0 and 3.1

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

DeepBayes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Point-based Value Iteration for Neuro-Symbolic POMDPs

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Resources

Selected filters:

Uncertify: Attacks Against Neural Network Certification

When to trust AI: advances and challenges for certification of neural networks

Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling

Symbolic Causal Inference via Operations on Probabilistic Circuits

Adversarial Robustness Certification for Bayesian Neural Networks

SafeDRL

On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications

Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks

Planning for Automated Vehicles with Human Trust

Bayesian Inference with Certifiable Adversarial Robustness

Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games

Multi-Objective Controller Synthesis with Uncertain Human Preferences

On the Benefits of Invariance in Neural Networks

Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation

Safe POMDP Online Planning via Shielding

Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games

Distributional Probabilistic Model Checking

Provable Preimage Under-Approximation for Neural Networks

Automated Verification of Concurrent Stochastic Systems

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

The King is Naked: on the Notion of Robustness for Natural Language Processing

Robustness Guarantees for Bayesian Neural Networks (invited extended abstract of a keynote speaker)

Robustness of Unsupervised Representation Learning without Labels

PRISM-games 3.0 and 3.1

DeepBayes

Point-based Value Iteration for Neuro-Symbolic POMDPs