Abolfazl Lavaei

发表

Path generation for flying robots in mountainous regions

Amirreza Kosari, Hossein Maghsoudi, Abolfazl Lavaei, 2017 .

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2018, ADHS.

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani, 2019, NSV@CAV.

Robust Positioning, Preliminary Orbit Determination, and Trajectory Prediction of Space Debris using In-Space Iterative-Bearing-Only Observations

Abolfazl Lavaei, M. A. Amiri Atashgah, Torkamani, 2017 .

Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems pdf

Sadegh Esmaeil Zadeh Soudjani, Majid Zamani, Abolfazl Lavaei, 2018, Autom..

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2018, IEEE Transactions on Automatic Control.

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey pdf

Alessandro Abate, Majid Zamani, Abolfazl Lavaei, 2021, ArXiv.

Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot

Abolfazl Lavaei, Mohammad Ali Amiri Atashgah, 2017, Intell. Serv. Robotics.

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems pdf

Majid Zamani, Abolfazl Lavaei, Mahathi Anand, 2021, ArXiv.

Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems pdf

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani, 2019, Autom..

Compositional finite abstractions for large-scale stochastic switched systems

Majid Zamani, Abolfazl Lavaei, Majid Zamani, 2019, SNR.

Compositional abstractions of interconnected discrete-time stochastic control systems

Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2018, HSCC.

An active time-optimal control for space debris deorbiting via geomagnetic field

Abolfazl Lavaei, M. A. Amiri Atashgah, Hamid Gazerpour, 2017 .

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2019, 2019 18th European Control Conference (ECC).

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations pdf

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2019, Nonlinear Analysis: Hybrid Systems.

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani, 2020, CAV.

ARCH-COMP20 Category Report: Stochastic Models

Henk A. P. Blom, Arnd Hartmanns, Abraham P. Vinod, 2020, ARCH.

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2017, HSCC.

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions

Majid Zamani, Abolfazl Lavaei, Majid Zamani, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach

Majid Zamani, Abolfazl Lavaei, Majid Zamani, 2019, IFAC-PapersOnLine.

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Fabio Somenzi, Abolfazl Lavaei, Sadegh Soudjani, 2020, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2019 .

Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques

Abolfazl Lavaei, Abolfazl Lavaei, 2019 .

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2020, HSCC.

Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach pdf

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2019, ArXiv.

Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems

Marco Caccamo, Majid Zamani, Abolfazl Lavaei, 2021, CAADCPS@CPSIoTWeek.

Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations pdf

Marco Caccamo, Majid Zamani, Abolfazl Lavaei, 2021, ArXiv.

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs pdf

Majid Zamani, Abolfazl Lavaei, Niloofar Jahanshahi, 2021, IEEE Transactions on Control of Network Systems.

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates pdf

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2021, ADHS.

Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2021, HSCC.

Formal safety verification of unknown continuous-time systems: a data-driven approach

Majid Zamani, Pushpak Jagtap, Abolfazl Lavaei, 2021, HSCC.

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems pdf

Marco Caccamo, Majid Zamani, Abolfazl Lavaei, 2021, Nonlinear Analysis: Hybrid Systems.

Data-driven verification and synthesis of stochastic systems through barrier certificates pdf

Majid Zamani, Abolfazl Lavaei, Ali Salamati, 2021, ArXiv.

Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach pdf

Abolfazl Lavaei, Andrea Censi, Luigi Di Lillo, 2021, ArXiv.

ARCH-COMP21 Category Report: Stochastic Models

Sofie Haesaert, Alessandro Abate, Anne Remke, 2021, ARCH@ADHS.

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems

Majid Zamani, Abolfazl Lavaei, Sadegh Soudjani, 2021, ADHS.