59 citations · 291 across the 45 of their papers we have counts for
7 papers · 1 filter
Scenario-Based Verification of Uncertain Parametric MDPs
Thom Badings, Murat Cubuktepe, Nils Jansen +3
We consider parametric Markov decision processes (pMDPs) that are augmented with unknown probability distributions over parameter values. The problem is to compute the probability…
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Thom S. Badings, Alessandro Abate, Nils Jansen +3
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modelled as process noise, and com…
Convex Optimization for Parameter Synthesis in MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +2
Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic ass…
Model Repair Revamped: On the Automated Synthesis of Markov Chains
Milan Ceska, Christian Dehnert, Nils Jansen +2
This paper outlines two approaches|based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively to the automate…
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
Thom Badings, Hasan A. Poonawala, Marielle Stoelinga +1
We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to…
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
Thom S. Badings, Arnd Hartmanns, Nils Jansen +1
We study a smart grid with wind power and battery storage. Traditionally, day-ahead planning aims to balance demand and wind power, yet actual wind conditions often deviate from fo…
Damage detection using in-domain and cross-domain transfer learning
Zaharah A. Bukhsh, Nils Jansen, Aaqib Saeed
We investigate the capabilities of transfer learning in the area of structural health monitoring. In particular, we are interested in damage detection for concrete structures. Typi…