Abolfazl Lavaei

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 82

Top Topics

Situation Aware

Markov Decision Process

Automated Verification

Controller Synthesis

Top Venues

IEEE Control. Syst. Lett.

Publications

Ben Wooding, Abolfazl Lavaei
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. HSCC (2024)
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. CoRR (2024)
Ali Aminzadeh, Abolfazl Lavaei
Compositional Synthesis of Safety Barrier Certificates for Infinite Networks. ECC (2024)
Ben Wooding, Abolfazl Lavaei
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. CoRR (2024)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159 (2024)
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. CoRR (2024)
Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. ECC (2024)
Omid Akbarzadeh, Abolfazl Lavaei
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. HSCC (2024)
Abolfazl Lavaei
Abstraction-based Synthesis of Stochastic Hybrid Systems. HSCC (2024)
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68 (5) (2023)
Abolfazl Lavaei
MDP Abstractions from Data: Large-Scale Stochastic Networks. CDC (2023)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147 (2023)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7 (2023)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Abolfazl Lavaei
MDP Abstractions from Data: Large-Scale Stochastic Networks. CoRR (2023)
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. 10 (1) (2023)
Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. IEEE Trans. Control. Netw. Syst. 10 (1) (2023)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7 (2023)
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CoRR (2023)
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Abolfazl Lavaei, David Angeli
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties. IEEE Control. Syst. Lett. 7 (2023)
Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
Robust Simulation Functions with Disturbance Refinement. ECC (2023)
Abolfazl Lavaei, Emilio Frazzoli
Data-Driven Synthesis of Symbolic Abstractions With Guaranteed Confidence. IEEE Control. Syst. Lett. 7 (2023)
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR (2023)
Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. IEEE Control. Syst. Lett. 7 (2023)
Abolfazl Lavaei
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CDC (2023)
Abolfazl Lavaei
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CoRR (2023)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146 (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR (2022)
Abolfazl Lavaei, Emilio Frazzoli
. ACC (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
Safety Barrier Certificates for Stochastic Hybrid Systems. ACC (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Abolfazl Lavaei, Majid Zamani
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Abolfazl Lavaei, Emilio Frazzoli
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching. CoRR (2022)
Abolfazl Lavaei, Emilio Frazzoli
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence. CoRR (2022)
Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani
. CDC (2022)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC (2022)
Abolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi, Emilio Frazzoli
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees. HSCC (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR (2022)
Abolfazl Lavaei, Emilio Frazzoli
Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems. CDC (2022)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS (2021)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR (2021)
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR (2021)
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR (2021)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR (2021)
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC (2021)
Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR (2021)
Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. CoRR (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR (2021)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65 (12) (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114 (2020)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. 107 (2019)
Abolfazl Lavaei, Majid Zamani
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. CDC (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC (2019)
Abolfazl Lavaei, Majid Zamani
Compositional finite abstractions for large-scale stochastic switched systems. SNR (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR (2018)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC (2018)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC (2018)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS (2018)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR (2018)
Abolfazl Lavaei, Mohammad Ali Amiri Atashgah
Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot. Intell. Serv. Robotics 10 (3) (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC (2017)