Clemens Dubslaff | DeepAI

DeepAI AI Chat

Featured Co-authors

Nils Jansen
46 publications
Rupak Majumdar
36 publications
Christel Baier
32 publications
Sven Apel
16 publications
Antonin Kucera
16 publications
Bas Luttik
13 publications
Holger Hermanns
13 publications
Ocan Sankur
11 publications
Jakob Piribauer
11 publications
Florian Funke
11 publications
Simon Jantsch
11 publications

∙ 05/14/2023

A Unifying Formal Approach to Importance Values in Boolean Functions

Boolean functions and their representation through logics, circuits, mac...

0 Hans Harder, et al. ∙

∙ 05/13/2023

More for Less: Safe Policy Improvement With Stronger Performance Guarantees

In an offline reinforcement learning setting, the safe policy improvemen...

0 Patrick Wienhöft, et al. ∙

∙ 03/22/2023

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

A central task in control theory, artificial intelligence, and formal me...

0 Christel Baier, et al. ∙

∙ 01/20/2023

On the Foundations of Cycles in Bayesian Networks

Bayesian networks (BNs) are a probabilistic graphical model widely used ...

0 Christel Baier, et al. ∙

∙ 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...

0 Clemens Dubslaff, et al. ∙

∙ 01/18/2022

Causality in Configurable Software Systems

Detecting and understanding reasons for defects and inadvertent behavior...

0 Clemens Dubslaff, et al. ∙

∙ 05/20/2021

From Verification to Causality-based Explications

In view of the growing complexity of modern software architectures, form...

0 Christel Baier, et al. ∙

∙ 04/28/2020

Iterative Variable Reordering: Taming Huge System Families

For the verification of systems using model-checking techniques, symboli...

0 Clemens Dubslaff, et al. ∙

∙ 04/14/2020

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

Modern safety-critical systems are heterogeneous, complex, and highly dy...

0 Clemens Dubslaff, et al. ∙

∙ 12/11/2019

Breaking the Limits of Redundancy Systems Analysis

Redundancy mechanisms such as triple modular redundancy protect safety-c...

0 Clemens Dubslaff, et al. ∙

∙ 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 ...

0 Christel Baier, et al. ∙

∙ 07/11/2017

Synthesis of Optimal Resilient Control Strategies

Repair mechanisms are important within resilient systems to maintain the...

0 Christel Baier, et al. ∙

∙ 06/20/2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm event...

0 Christel Baier, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world