ERD

Partially Observable Stochastic Games with Neural Perception Mechanisms

Project: FUN2MODEL

Updated at: 01-10-2024

Show more information

Project acronym FUN2MODEL

Tools at the Frontiers of Quantitative Verification

Project: FUN2MODEL

Updated at: 03-08-2024

Show more information

Project acronym FUN2MODEL

Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach

Project: FUN2MODEL

Updated at: 03-08-2024

Show more information

Project acronym FUN2MODEL

Evaluation and learning in two-player symmetric games via best and better response

Project: FUN2MODEL

Updated at: 03-08-2024

Show more information

Project acronym FUN2MODEL

Rational verification: game-theoretic verification of multi-agent systems

Project: FUN2MODEL

Updated at: 15-06-2024

Show more information

Project acronym FUN2MODEL

Compositional Probabilistic and Causal Inference using Tractable Circuit Models

Project: FUN2MODEL

Updated at: 15-06-2024

Show more information

Project acronym FUN2MODEL

Adversarial robustness of Bayesian neural networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robustness Guarantees for Deep Neural Networks on Videos

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environme...

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Tractable Uncertainty for Structure Learning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

webppl-cognitive-agents

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Adversarial Robustness Guarantees for Classification with Gaussian Processes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On Guaranteed Optimal Robust Explanations for NLP Models

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Invariant Causal Prediction for Block MDPs

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Correlated equilibria and fairness in concurrent stochastic games

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Probabilistic Safety for Bayesian Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Probabilistic Reach-Avoid for Bayesian Neural Networks

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

A Language for Modeling and Optimizing Experimental Biological Protocols

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

On the Hardness of Robust Classification

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Robust anytime learning of Markov decision processes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Tractable Uncertainty for Structure Learning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Verifying Reinforcement Learning up to Infinity

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Multi-agent verification and control with probabilistic model checking

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Learning Dynamics and Generalization in Reinforcement Learning

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Safety Guarantees for Iterative Predictions with Gaussian Processes

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Resources

Selected filters:

Partially Observable Stochastic Games with Neural Perception Mechanisms

Tools at the Frontiers of Quantitative Verification

Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach

Evaluation and learning in two-player symmetric games via best and better response

Rational verification: game-theoretic verification of multi-agent systems

Compositional Probabilistic and Causal Inference using Tractable Circuit Models

Adversarial robustness of Bayesian neural networks

Robustness Guarantees for Deep Neural Networks on Videos

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environme...

Tractable Uncertainty for Structure Learning

webppl-cognitive-agents

Adversarial Robustness Guarantees for Classification with Gaussian Processes

On Guaranteed Optimal Robust Explanations for NLP Models

Invariant Causal Prediction for Block MDPs

Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms

Correlated equilibria and fairness in concurrent stochastic games

Probabilistic Safety for Bayesian Neural Networks

Probabilistic Reach-Avoid for Bayesian Neural Networks

A Language for Modeling and Optimizing Experimental Biological Protocols

Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models

On the Hardness of Robust Classification

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions

Robust anytime learning of Markov decision processes

Tractable Uncertainty for Structure Learning

Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming

Verifying Reinforcement Learning up to Infinity

Multi-agent verification and control with probabilistic model checking

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers

Learning Dynamics and Generalization in Reinforcement Learning

Safety Guarantees for Iterative Predictions with Gaussian Processes