Picture for Bernd Finkbeiner

Bernd Finkbeiner

Saarland University

Stream-Based Monitoring of Algorithmic Fairness

Add code
Jan 30, 2025
Viaarxiv icon

Non-Deterministic Planning for Hyperproperty Verification

Add code
May 22, 2024
Figure 1 for Non-Deterministic Planning for Hyperproperty Verification
Figure 2 for Non-Deterministic Planning for Hyperproperty Verification
Viaarxiv icon

Monitoring Second-Order Hyperproperties

Add code
Apr 15, 2024
Viaarxiv icon

Hyper Strategy Logic

Add code
Mar 20, 2024
Viaarxiv icon

NeuRes: Learning Proofs of Propositional Satisfiability

Add code
Feb 13, 2024
Figure 1 for NeuRes: Learning Proofs of Propositional Satisfiability
Figure 2 for NeuRes: Learning Proofs of Propositional Satisfiability
Figure 3 for NeuRes: Learning Proofs of Propositional Satisfiability
Figure 4 for NeuRes: Learning Proofs of Propositional Satisfiability
Viaarxiv icon

On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing

Add code
Dec 19, 2023
Viaarxiv icon

Counterfactuals Modulo Temporal Logics

Add code
Jun 15, 2023
Figure 1 for Counterfactuals Modulo Temporal Logics
Figure 2 for Counterfactuals Modulo Temporal Logics
Viaarxiv icon

Iterative Circuit Repair Against Formal Specifications

Add code
Mar 02, 2023
Figure 1 for Iterative Circuit Repair Against Formal Specifications
Figure 2 for Iterative Circuit Repair Against Formal Specifications
Figure 3 for Iterative Circuit Repair Against Formal Specifications
Figure 4 for Iterative Circuit Repair Against Formal Specifications
Viaarxiv icon

Formal Specifications from Natural Language

Add code
Jun 04, 2022
Figure 1 for Formal Specifications from Natural Language
Figure 2 for Formal Specifications from Natural Language
Figure 3 for Formal Specifications from Natural Language
Viaarxiv icon

Attention Flows for General Transformers

Add code
May 30, 2022
Figure 1 for Attention Flows for General Transformers
Figure 2 for Attention Flows for General Transformers
Figure 3 for Attention Flows for General Transformers
Figure 4 for Attention Flows for General Transformers
Viaarxiv icon