research
∙
05/18/2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
We present Self-Driven Strategy Learning (sdsl), a lightweight online le...
share
research
∙
03/08/2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable...
research
∙
03/02/2023
Iterative Circuit Repair Against Formal Specifications
We present a deep learning approach for repairing sequential circuits ag...
research
∙
02/24/2023
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model
We analyze the convergence of the k-opinion Undecided State Dynamics (US...
research
∙
06/04/2022
Explaining Hyperproperty Violations
Hyperproperties relate multiple computation traces to each other. Model ...
research
∙
06/04/2022
Formal Specifications from Natural Language
We study the generalization abilities of language models when translatin...
research
∙
05/30/2022
Attention Flows for General Transformers
In this paper, we study the computation of how much an input token in a ...
research
∙
03/08/2022
Runtime Enforcement of Hyperproperties
An enforcement mechanism monitors a reactive system for undesired behavi...
research
∙
10/19/2021
Generating Symbolic Reasoning Problems with Transformer GANs
Constructing training data for symbolic reasoning domains is challenging...
research
∙
08/08/2021
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Model checkers provide algorithms for proving that a mathematical model ...
research
∙
07/25/2021
Neural Circuit Synthesis from Specification Patterns
We train hierarchical Transformers on the task of synthesizing hardware ...
research
∙
06/24/2021
Self-Stabilizing Phase Clocks and the Adaptive Majority Problem
We present a self-stabilising phase clock for population protocols. In t...
research
∙
01/18/2021
Realizing Omega-regular Hyperproperties
We studied the hyperlogic HyperQPTL, which combines the concepts of trac...
research
∙
01/18/2021
Efficient Monitoring of Hyperproperties using Prefix Trees
Hyperproperties, such as non-interference and observational determinism,...
research
∙
05/12/2020
The Hierarchy of Hyperlogics
Hyperproperties, which generalize trace properties by relating multiple ...
research
∙
03/06/2020
Teaching Temporal Logics to Neural Networks
We show that a deep neural network can learn the semantics of linear-tim...
research
∙
05/31/2019
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
We present RVHyper, a runtime verification tool for hyperproperties. Hyp...
research
∙
05/31/2019
Constraint-Based Monitoring of Hyperproperties
Verifying hyperproperties at runtime is a challenging problem as hyperpr...
research
∙
05/31/2019
Model Checking Quantitative Hyperproperties
Hyperproperties are properties of sets of computation traces. In this pa...
research
∙
05/31/2019
Synthesizing Reactive Systems from Hyperproperties
We study the reactive synthesis problem for hyperproperties given as for...
research
∙
03/26/2019
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment
Hyperproperties are properties that refer to multiple computation traces...
research
∙
07/02/2018