ERD

Adversarial Robustness Guarantees for Gaussian Processes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Probabilistic model checking and autonomy

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Assessing Robustness of Text Classification through Maximal Safe Radius Computation

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robustness Evaluation of Deep Neural Networks with Provable Guarantees

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On the Adversarial Robustness of Gaussian Processes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

DRCFS: Doubly Robust Causal Feature Selection

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Probabilistic Guarantees for Safe Deep Reinforcement Learning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

When are Local Queries Useful for Robust Learning?https://papers.nips.cc/paper_files/paper/2022/hash/db6461eaf0eaeaad1d9...

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Verified Probabilistic Policies for Deep Reinforcement Learning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Multi-player Equilibria Verification for Concurrent Stochastic Games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Tractable probabilistic models for causal learning and reasoning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Periodic Reporting for period 2 - FUN2MODEL (From FUnction-based TO MOdel-based automated probabilistic reasoning for DE...

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Sample complexity of robust learning against evasion attacks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

PRISM 4.7

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Sample complexity bounds for robustly learning decision lists against evasion attacks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Certification of Iterative Predictions in Bayesian Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Safety and Robustness for Deep Learning with Provable Guarantees

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Formal Verification of Deep Reinforcement Learning Agents

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits.

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Individual Fairness Guarantees for Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Resources

Selected filters:

Adversarial Robustness Guarantees for Gaussian Processes

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

Probabilistic model checking and autonomy

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

Assessing Robustness of Text Classification through Maximal Safe Radius Computation

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)

Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games

Robustness Evaluation of Deep Neural Networks with Provable Guarantees

On the Adversarial Robustness of Gaussian Processes

DRCFS: Doubly Robust Causal Feature Selection

Probabilistic Guarantees for Safe Deep Reinforcement Learning

When are Local Queries Useful for Robust Learning?https://papers.nips.cc/paper_files/paper/2022/hash/db6461eaf0eaeaad1d9...

Verified Probabilistic Policies for Deep Reinforcement Learning

Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games

Multi-player Equilibria Verification for Concurrent Stochastic Games

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Tractable probabilistic models for causal learning and reasoning

Periodic Reporting for period 2 - FUN2MODEL (From FUnction-based TO MOdel-based automated probabilistic reasoning for DE...

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States

Sample complexity of robust learning against evasion attacks

PRISM 4.7

Sample complexity bounds for robustly learning decision lists against evasion attacks

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees

Certification of Iterative Predictions in Bayesian Neural Networks

Safety and Robustness for Deep Learning with Provable Guarantees

Formal Verification of Deep Reinforcement Learning Agents

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits.

Individual Fairness Guarantees for Neural Networks