Abolfazl Lavaei

132 papers C 5Journal 79Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems. CoRR Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2026	J	`jnl`	From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework. CoRR Behrad Samari, Henrik Sandberg, Karl Henrik Johansson, Abolfazl Lavaei
2026	J	`jnl`	Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems. CoRR Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2026	J	`jnl`	Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions. CoRR P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2025	J	`jnl`	ARCH-COMP25 Category Report: Stochastic Models. CoRR Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025	—	`conf`	Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories. L4DC Behrad Samari, Mahdieh Zaker, Abolfazl Lavaei
2025	—	`conf`	Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics. CDC Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2025	—	`conf`	Certified Model Order Reduction from Data. HSCC Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data. CoRR Behrad Samari, Gian Paolo Incremona, Antonella Ferrara, Abolfazl Lavaei
2025	—	`conf`	Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems. HSCC Behrad Samari, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems. CoRR Behrad Samari, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach. CoRR Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems. CoRR Behrad Samari, Henrik Sandberg, Karl Henrik Johansson, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies. CoRR Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees. CoRR Abolfazl Lavaei
2025	—	`conf`	From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees. HSCC Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees. CoRR Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics. CoRR Behrad Samari, Gian Paolo Incremona, Antonella Ferrara, Abolfazl Lavaei
2025	J	`jnl`	From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology. CoRR Abolfazl Lavaei, David Angeli
2025	J	`jnl`	From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks. CoRR Omid Akbarzadeh, Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025	—	`conf`	Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems. CDC Omid Akbarzadeh, MohammadHossein Ashoori, Abolfazl Lavaei
2025	—	`conf`	Model Order Reduction from Data with Certification. CDC Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	Model Order Reduction from Data with Certification. CoRR Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025	—	`conf`	PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems. ICCPS Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2025	C	`conf`	PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems. ICTAC Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2025	J	`jnl`	Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data. CoRR MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati, Abolfazl Lavaei
2025	—	`conf`	Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation. ICCPS MohammadHossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei, Amy Nejati
2025	—	`conf`	Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints. CDC Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei
2025	J	`jnl`	Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints. CoRR Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei
2025	—	`conf`	TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory. HSCC Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2025	J	`jnl`	TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory. CoRR Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2025	C	`conf`	Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach. ACC P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2024	—	`ed.`	8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024 ADHS Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani
2024	J	`jnl`	A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems. CoRR Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2024	J	`jnl`	Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories. CoRR Behrad Samari, Mahdieh Zaker, Abolfazl Lavaei
2024	—	`conf`	Abstraction-based Synthesis of Stochastic Hybrid Systems. HSCC Abolfazl Lavaei
2024	J	`jnl`	Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics. CoRR Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2024	J	`jnl`	Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems. CoRR Mahdieh Zaker, Omid Akbarzadeh, Behrad Samari, Abolfazl Lavaei
2024	—	`conf`	Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. ECC Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei
2024	—	`conf`	Compositional Synthesis of Safety Barrier Certificates for Infinite Networks. ECC Ali Aminzadeh, Abolfazl Lavaei
2024	J	`jnl`	Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach. CoRR Behrad Samari, Amy Nejati, Abolfazl Lavaei
2024	C	`conf`	Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks. CoDIT Omid Akbarzadeh, Ameneh Nejati, Abolfazl Lavaei
2024	J	`jnl`	Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2024	J	`jnl`	From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks. CoRR Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei
2024	J	`jnl`	From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems. CoRR Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker, Abolfazl Lavaei
2024	J	`jnl`	From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems. IEEE Control. Syst. Lett. Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker, Abolfazl Lavaei
2024	—	`conf`	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. HSCC Ben Wooding, Abolfazl Lavaei
2024	—	`conf`	IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems. QEST+FORMATS Ben Wooding, Abolfazl Lavaei
2024	J	`jnl`	IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. CoRR Ben Wooding, Abolfazl Lavaei
2024	J	`jnl`	Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems. CoRR Omid Akbarzadeh, Abolfazl Lavaei
2024	J	`jnl`	Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials. CoRR Ben Wooding, Abolfazl Lavaei
2024	—	`conf`	Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. ADHS Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphaël M. Jungers
2024	J	`jnl`	PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. CoRR Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2024	—	`conf`	Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. ITSC Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024	J	`jnl`	Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. CoRR Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024	—	`conf`	Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CDC Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
2024	—	`conf`	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. HSCC Omid Akbarzadeh, Abolfazl Lavaei
2024	J	`jnl`	Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems. IEEE Trans. Autom. Control. Abolfazl Lavaei, Emilio Frazzoli
2024	J	`jnl`	Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach. CoRR P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2023	J	`jnl`	A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems. IEEE Trans. Autom. Control. Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2023	—	`conf`	ARCH-COMP23 Category Report: Stochastic Models. ARCH 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
2023	J	`jnl`	Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2023	J	`jnl`	Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
2023	J	`jnl`	Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2023	J	`jnl`	Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. IEEE Control. Syst. Lett. Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani
2023	J	`jnl`	Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties. IEEE Control. Syst. Lett. Abolfazl Lavaei, David Angeli
2023	J	`jnl`	Data-Driven Synthesis of Symbolic Abstractions With Guaranteed Confidence. IEEE Control. Syst. Lett. Abolfazl Lavaei, Emilio Frazzoli
2023	J	`jnl`	Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2023	J	`jnl`	Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
2023	J	`jnl`	Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. IEEE Trans. Control. Netw. Syst. Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli
2023	J	`jnl`	Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2023	—	`conf`	MDP Abstractions from Data: Large-Scale Stochastic Networks. CDC Abolfazl Lavaei
2023	J	`jnl`	MDP Abstractions from Data: Large-Scale Stochastic Networks. CoRR Abolfazl Lavaei
2023	—	`conf`	Robust Simulation Functions with Disturbance Refinement. ECC Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
2023	J	`jnl`	Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CoRR Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
2023	—	`conf`	Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CDC Abolfazl Lavaei
2023	J	`jnl`	Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CoRR Abolfazl Lavaei
2022	—	`conf`	ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 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
2022	J	`jnl`	Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022	C	`conf`	Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching ACC Abolfazl Lavaei, Emilio Frazzoli
2022	J	`jnl`	Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching. CoRR Abolfazl Lavaei, Emilio Frazzoli
2022	J	`jnl`	Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2022	J	`jnl`	Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2022	—	`conf`	Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics CDC Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani
2022	J	`jnl`	Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence. CoRR Abolfazl Lavaei, Emilio Frazzoli
2022	J	`jnl`	From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. Abolfazl Lavaei, Majid Zamani
2022	J	`jnl`	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2022	—	`conf`	Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2022	—	`conf`	Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees. HSCC Abolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi, Emilio Frazzoli
2022	C	`conf`	Safety Barrier Certificates for Stochastic Hybrid Systems. ACC Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2022	J	`jnl`	Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2022	—	`conf`	Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems. CDC Abolfazl Lavaei, Emilio Frazzoli
2021	—	`conf`	ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS Alessandro Abate, Henk A. P. 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 J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021	J	`jnl`	Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2021	J	`jnl`	Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2021	J	`jnl`	Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
2021	J	`jnl`	Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2021	—	`conf`	Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021	—	`conf`	Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021	J	`jnl`	Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021	J	`jnl`	Data-driven verification and synthesis of stochastic systems via barrier certificates. CoRR Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021	—	`conf`	Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021	J	`jnl`	Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. CoRR Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli
2021	—	`conf`	Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
2021	J	`jnl`	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2021	J	`jnl`	Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
2021	—	`conf`	Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2020	—	`conf`	AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020	J	`jnl`	AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020	—	`conf`	AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020	—	`conf`	ARCH-COMP20 Category Report: Stochastic Models. ARCH Alessandro Abate, Henk A. P. 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
2020	J	`jnl`	Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020	J	`jnl`	Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020	—	`conf`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020	J	`jnl`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2019	—	`conf`	Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	J	`jnl`	Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	J	`jnl`	Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	J	`jnl`	Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	—	`conf`	Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	—	`conf`	Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. CDC Abolfazl Lavaei, Majid Zamani
2019	J	`jnl`	Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019	—	`conf`	Compositional finite abstractions for large-scale stochastic switched systems. SNR Abolfazl Lavaei, Majid Zamani
2018	J	`jnl`	Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018	J	`jnl`	Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
2018	—	`conf`	Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018	—	`conf`	Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018	—	`conf`	From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2017	J	`jnl`	Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017	—	`conf`	Compositional abstractions of interconnected discrete-time stochastic control systems. CDC Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017	J	`jnl`	From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
2017	J	`jnl`	Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot. Intell. Serv. Robotics Abolfazl Lavaei, Mohammad Ali Amiri Atashgah