129 citations · 368 across the 70 of their papers we have counts for
11 papers · 1 filter
Formal Reasoning about Performance Models
Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana +1
Discrete-event simulation is a standard technique for modelling and analysing the performance of computer systems, networks, and services. Although simulation tools are widely used…
Automata-Theoretic Verification of Interval Markov Decision Processes
Sarvin Bahmani, Soumyajit Paul, Sven Schewe +2
Interval Markov decision processes (IMDPs) provide a natural framework for modeling stochastic systems with uncertain transition probabilities, represented by probability intervals…
Learning Metastable Dynamics
Rupak Majumdar, Mahmoud Salamati, Nikhil Singh +1
Metastability---a phenomenon where systems remain trapped in quasi-stable states before abruptly transitioning under rare perturbations---is ubiquitous in physical systems. Althoug…
Non-parametric Formal Synthesis of Unknown Stochastic Systems: Asymptotic Convergence Guarantees
Zhi Zhang, Sadegh Soudjani
Data-driven techniques have shown promising potential for checking behavior of complex systems operating in safety-critical domains against safety and other temporal requirements.…
Sound Probabilistic Safety Bounds for Large Language Models
Mahdi Nazeri, Anne-Kathrin Schmuck, Sadegh Soudjani +1
We propose a novel framework for computing rigorous bounds on the probability that a large language model (LLM) generates harmful output to a given prompt. We study a new applicati…
Kernel-Based Safe Exploration in Deep Reinforcement Learning
Rupak Majumdar, Nikhil Singh, Sadegh Soudjani
Safety has been a major concern when deploying deep reinforcement learning algorithms in the real world. A promising direction that ensures that the learned policy does not visit u…
Barrier Certificates for Uncertain Temporal Specifications
Mohammad H. Mamduhi, Sadegh Soudjani
This paper studies satisfying temporal logic specifications on stochastic dynamical systems, where the predicates evolve randomly over time. Such randomness may arise from uncertai…
Safety Certification is Classification
Oliver Schön, Licio Romao, Sadegh Soudjani
The goal of this paper is certifying safety of dynamical systems subject to uncertainty. Existing approaches use trajectory data to estimate transition probabilities, and compute s…
Almost Sure Reachability in Continuous-time Stochastic Systems
Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani
We provide certificates for almost sure reachability of continuous-time stochastic systems governed by stochastic differential equations (SDEs). We first show that a standard Euler…
Temporal Logic Resilience for Continuous-time Systems
Ratnangshu Das, Negar Monir, Youssef Ait Si +3
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satis…
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notions of effort and resilience of a dynamical control system defined by the maximum disturbance the system can withstand while satisfying given fin…