14 citations · 46 across the 58 of their papers we have counts for
9 papers · 1 filter
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is…
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach
Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi +1
In this work, we propose a compositional data-driven approach for the formal estimation of collision risks for autonomous vehicles (AVs) while acting in a stochastic multi-agent fr…
Data-driven verification and synthesis of stochastic systems via barrier certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier…
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani +1
In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed…
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
In this paper, we propose a compositional framework for the synthesis of safety controllers for networks of partially-observed discrete-time stochastic control systems (a.k.a. cont…
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against -Regular Specifications
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is…
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao +2
High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish c…
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate +1
Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the stu…
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybr…