research
∙
05/14/2023
A Unifying Formal Approach to Importance Values in Boolean Functions
Boolean functions and their representation through logics, circuits, mac...
share
research
∙
05/13/2023
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
In an offline reinforcement learning setting, the safe policy improvemen...
research
∙
03/22/2023
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
A central task in control theory, artificial intelligence, and formal me...
research
∙
01/20/2023
On the Foundations of Cycles in Bayesian Networks
Bayesian networks (BNs) are a probabilistic graphical model widely used ...
research
∙
03/17/2022
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2022, the fifth workshop on...
research
∙
01/18/2022
Causality in Configurable Software Systems
Detecting and understanding reasons for defects and inadvertent behavior...
research
∙
05/20/2021
From Verification to Causality-based Explications
In view of the growing complexity of modern software architectures, form...
research
∙
04/28/2020
Iterative Variable Reordering: Taming Huge System Families
For the verification of systems using model-checking techniques, symboli...
research
∙
04/14/2020
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Modern safety-critical systems are heterogeneous, complex, and highly dy...
research
∙
12/11/2019
Breaking the Limits of Redundancy Systems Analysis
Redundancy mechanisms such as triple modular redundancy protect safety-c...
research
∙
04/30/2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
The paper deals with finite-state Markov decision processes (MDPs) with ...
research
∙
07/11/2017
Synthesis of Optimal Resilient Control Strategies
Repair mechanisms are important within resilient systems to maintain the...
research
∙
06/20/2017