7 citations · 15 across the 31 of their papers we have counts for
34 papers
Integer-Free Control Synthesis for Signal Temporal Logic via Ranked Implicants
Arash Bahari Kordabad, Mohammad H. Mamduhi, Sadegh Soudjani
This paper proposes an integer-free method for control synthesis of nonlinear discrete-time systems under finite-horizon Signal Temporal Logic (STL) constraints. Instead of introdu…
Verified Linear Programming through Tolerance-Aware Precision Boosting
Ernesto Casablanca, Martin Sidaway, Paolo Zuliani +1
Linear programming plays a fundamental role in computer science, with applications in optimization, formal verification, SMT solving, and numerous other domains. When exactness gua…
Context-Triggered Robust MPC for Temporal Logic Specifications
Arash Bahari Kordabad, Satya Prakash Nayak, Sadegh Soudjani +1
We consider the problem of synthesizing robust feedback controllers for discrete-time linear systems that ensure the satisfaction of context-dependent linear temporal logic specifi…
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann +3
Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the…
Kernel-Based Learning of Safety Barriers
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
The rapid integration of AI algorithms in safety-critical applications such as autonomous driving and healthcare is raising significant concerns about the ability to meet stringent…
Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
Negar Monir, Sadegh Soudjani
Decision-making under uncertainty is central to many safety-critical applications, where decisions must be guided by probabilistic modeling formalisms. This paper introduces a nove…
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
Ernesto Casablanca, Oliver Schön, Paolo Zuliani +1
Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verif…
Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
Amirreza Valaei, Arash Bahari Kordabad, Sadegh Soudjani
Policy gradient methods are a powerful family of reinforcement learning algorithms for continuous control that optimize a policy directly. However, standard first-order methods oft…
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
Ali Taheri, Alireza Taban, Sadegh Soudjani +1
Safety verification of dynamical systems via barrier certificates is essential for ensuring correctness in autonomous applications. Synthesizing these certificates involves discove…
Maximally Resilient Controllers under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notion of resilience of a dynamical system, defined by the maximum disturbance a controlled dynamical system can withstand while satisfying given tem…
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
Negar Monir, Youssef Ait Si, Ratnangshu Das +3
We propose a resilience-based framework for computing feasible assume-guarantee contracts that ensure the satisfaction of temporal specifications in interconnected discrete-time sy…
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
The requirement for identifying accurate system representations has not only been a challenge to fulfill, but it has compromised the scalability of formal methods, as the resulting…
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Siwei Hu, Victor Lopata, Sadegh Soudjani +1
In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrat…
Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles
Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh +3
Current robotic agents, such as autonomous vehicles (AVs) and drones, need to deal with uncertain real-world environments with appropriate situational awareness (SA), risk awarenes…
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Switched affine systems are often used to model and control complex dynamical systems that operate in multiple modes. However, uncertainties in the system matrices can challenge th…
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
Milad Kazemi, Mateo Perez, Fabio Somenzi +3
Recent advances in reinforcement learning (RL) have renewed interest in reward design for shaping agent behavior, but manually crafting reward functions is tedious and error-prone.…
Logic-based Resilience Computation of Power Systems Against Frequency Requirements
Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Incorporating renewable energy sources into modern power grids has significantly decreased system inertia, which has raised concerns about power system vulnerability to disturbance…
Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
Arash Bahari Kordabad, Arabinda Ghosh, Sybert Stroeve +1
In this paper, we propose an intent-aware Model Predictive Control (MPC) approach for the remain-well-clear (RWC) functionality of a multi-agent aircraft detect-and-avoid (DAA) sys…
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +3
In this paper, we propose a distributionally robust control synthesis for an agent with stochastic dynamics that interacts with other agents under uncertainties and constraints exp…
Stochastic Generalized Dynamic Games with Coupled Chance Constraints
Seyed Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
This paper investigates stochastic generalized dynamic games with coupling chance constraints, where agents have incomplete information about uncertainties satisfying a concentrati…
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create…
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +2
We consider distributionally robust optimal control of stochastic linear systems under signal temporal logic (STL) chance constraints when the disturbance distribution is unknown.…
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…