7 citations · 15 across the 31 of their papers we have counts for
6 papers · 1 filter
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…