research
∙
08/11/2023
Software Doping Analysis for Human Oversight
This article introduces a framework that is meant to assist in mitigatin...
share
research
∙
01/20/2023
On the Foundations of Cycles in Bayesian Networks
Bayesian networks (BNs) are a probabilistic graphical model widely used ...
research
∙
10/20/2022
On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations
Recent breakthroughs in technology have led to a thriving "new space" cu...
research
∙
08/03/2022
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study
The design and launch of large-scale satellite networks create an immine...
research
∙
11/09/2021
RTLola on Board: Testing Real Driving Emissions on your Phone
This paper is about shipping runtime verification to the masses. It pres...
research
∙
02/15/2021
What Do We Want From Explainable Artificial Intelligence (XAI)? – A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research
Previous research in Explainable Artificial Intelligence (XAI) suggests ...
research
∙
12/07/2020
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
We present a novel and generalised notion of doping cleanness for cyber-...
research
∙
04/18/2019
Doping Tests for Cyber-Physical Systems
The software running in embedded or cyber-physical systems (CPS) is typi...
research
∙
01/03/2019
Towards a Framework Combining Machine Ethics and Machine Explainability
We find ourselves surrounded by a rapidly increasing number of autonomou...
research
∙
07/25/2018
Continuous-Time Markov Decisions based on Partial Exploration
We provide a framework for speeding up algorithms for time-bounded reach...
research
∙
03/27/2018
Facets of Software Doping
This paper provides an informal discussion of the formal aspects of soft...
research
∙
10/20/2017
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Markov decision processes (MDPs) are a popular model for performance ana...
research
∙
03/15/2017