ERD

Point-based Value Iteration for Neuro-Symbolic POMDPs

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

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

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

Tractable probabilistic models for causal learning and reasoning

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

Sample complexity of robust learning against evasion attacks

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

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

Project: FUN2MODEL

Updated at: 01-05-2025

Show more information

Project acronym FUN2MODEL

Adversarial Robustness Certification for Bayesian Neural Networks

Project: FUN2MODEL

Updated at: 01-05-2025

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: 01-05-2025

Show more information

Project acronym FUN2MODEL

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

A Framework for Simultaneous Task Allocation and Planning under Uncertainty

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Learning Algorithms for Verification of Markov Decision Processes

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

On Robustness for Natural Language Processing

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Online control synthesis for uncertain systems under signal temporal logic specifications

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

The Trembling-Hand Problem for LTLf Planning

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Expectation vs. Reality: Towards Verification of Psychological Games

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Learning Decision Policies with Instrumental Variables through Double Machine Learning.

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

PRISM-games 3.2

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Emergent Linguistic Structures in Neural Networks are Fragile

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

PRISM 4.8

Project: FUN2MODEL

Updated at: 01-01-2025

Show more information

Project acronym FUN2MODEL

Partially Observable Stochastic Games with Neural Perception Mechanisms

Project: FUN2MODEL

Updated at: 01-10-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

Robustness Guarantees for Deep Neural Networks on Videos

Project: FUN2MODEL

Updated at: 27-04-2024

Show more information

Project acronym FUN2MODEL

Resources