default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbolfazl Lavaei
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j19]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159: 111323 (2024)- [j18]Abolfazl Lavaei, Emilio Frazzoli:
Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems. IEEE Trans. Autom. Control. 69(11): 7294-7309 (2024) - [c35]Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei:
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. ECC 2024: 545-551 - [c34]Ali Aminzadeh, Abolfazl Lavaei:
Compositional Synthesis of Safety Barrier Certificates for Infinite Networks. ECC 2024: 1234-1239 - [c33]Abolfazl Lavaei
:
Abstraction-based Synthesis of Stochastic Hybrid Systems. HSCC 2024: 19:1-19:11 - [c32]Omid Akbarzadeh, Abolfazl Lavaei:
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. HSCC 2024: 29:1-29:2 - [c31]Ben Wooding, Abolfazl Lavaei:
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. HSCC 2024: 30:1-30:2 - [c30]Ben Wooding, Abolfazl Lavaei:
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems. QEST+FORMATS 2024: 249-267 - [i33]Ben Wooding, Abolfazl Lavaei:
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. CoRR abs/2401.03555 (2024) - [i32]Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei:
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. CoRR abs/2404.14804 (2024) - [i31]Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei:
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. CoRR abs/2405.01011 (2024) - [i30]Mahdieh Zaker, Omid Akbarzadeh, Behrad Samari, Abolfazl Lavaei:
Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems. CoRR abs/2409.10018 (2024) - [i29]Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker, Abolfazl Lavaei:
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems. CoRR abs/2409.10026 (2024) - [i28]Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei:
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks. CoRR abs/2409.12469 (2024) - 2023
- [j17]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147: 110696 (2023) - [j16]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: 223-228 (2023) - [j15]Abolfazl Lavaei, Emilio Frazzoli:
Data-Driven Synthesis of Symbolic Abstractions With Guaranteed Confidence. IEEE Control. Syst. Lett. 7: 253-258 (2023) - [j14]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7: 460-465 (2023) - [j13]Abolfazl Lavaei, David Angeli:
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties. IEEE Control. Syst. Lett. 7: 2395-2400 (2023) - [j12]Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani:
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. IEEE Control. Syst. Lett. 7: 3453-3458 (2023) - [j11]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): 3011-3024 (2023) - [j10]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): 7240-7253 (2023) - [j9]Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. 10(1): 87-99 (2023) - [j8]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): 407-418 (2023) - [c29]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: 126-150 - [c28]Abolfazl Lavaei:
MDP Abstractions from Data: Large-Scale Stochastic Networks. CDC 2023: 6058-6063 - [c27]Abolfazl Lavaei:
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CDC 2023: 7994-7999 - [c26]Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani:
Robust Simulation Functions with Disturbance Refinement. ECC 2023: 1-6 - [i27]Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani:
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR abs/2307.03467 (2023) - [i26]Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei:
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CoRR abs/2309.05570 (2023) - [i25]Abolfazl Lavaei:
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. CoRR abs/2309.07459 (2023) - [i24]Abolfazl Lavaei:
MDP Abstractions from Data: Large-Scale Stochastic Networks. CoRR abs/2309.07941 (2023) - 2022
- [j7]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - [j6]Abolfazl Lavaei, Majid Zamani:
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. 67(9): 4422-4437 (2022) - [j5]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): 5638-5645 (2022) - [c25]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. ACC 2022: 880-885 - [c24]Abolfazl Lavaei, Emilio Frazzoli:
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching*. ACC 2022: 4838-4843 - [c23]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: 113-141 - [c22]Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani:
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*. CDC 2022: 7296-7301 - [c21]Abolfazl Lavaei, Emilio Frazzoli:
Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems. CDC 2022: 7510-7515 - [c20]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC 2022: 25:1-25:2 - [c19]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: 27:1-27:2 - [i23]Abolfazl Lavaei, Emilio Frazzoli:
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence. CoRR abs/2206.09397 (2022) - [i22]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR abs/2206.14402 (2022) - [i21]Abolfazl Lavaei, Emilio Frazzoli:
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching. CoRR abs/2208.03476 (2022) - [i20]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR abs/2208.03478 (2022) - [i19]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - 2021
- [c18]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS 2021: 7-12 - [c17]Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS 2021: 277-282 - [c16]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:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c15]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: 7-8 - [c14]Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC 2021: 28:1-28:2 - [c13]Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani:
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC 2021: 29:1-29:2 - [i18]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR abs/2101.06916 (2021) - [i17]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - [i16]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 abs/2102.05490 (2021) - [i15]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR abs/2103.02226 (2021) - [i14]Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR abs/2103.05906 (2021) - [i13]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR abs/2104.11803 (2021) - [i12]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR abs/2111.10330 (2021) - [i11]Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli:
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. CoRR abs/2112.07187 (2021) - [i10]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR abs/2112.12709 (2021) - 2020
- [j4]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020) - [j3]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65(12): 5280-5295 (2020) - [c12]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:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c11]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474 - [c10]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC 2020: 31:1-31:2 - [c9]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - [i9]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020) - [i8]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR abs/2005.06191 (2020)
2010 – 2019
- 2019
- [j2]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. 107: 125-137 (2019) - [c8]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV 2019: 101-109 - [c7]Abolfazl Lavaei, Majid Zamani:
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. CDC 2019: 2574-2579 - [c6]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC 2019: 2802-2807 - [c5]Abolfazl Lavaei, Majid Zamani:
Compositional finite abstractions for large-scale stochastic switched systems. SNR 2019: 3-5 - [i7]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR abs/1902.01223 (2019) - [i6]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR abs/1906.02930 (2019) - [i5]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR abs/1912.11481 (2019) - 2018
- [c4]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS 2018: 265-270 - [c3]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC 2018: 21-30 - [c2]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC 2018: 273-274 - [i4]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR abs/1801.10505 (2018) - [i3]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR abs/1808.00893 (2018) - 2017
- [j1]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): 241-256 (2017) - [c1]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC 2017: 3551-3556 - [i2]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR abs/1709.10312 (2017) - [i1]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR abs/1712.07793 (2017)
Coauthor Index
Sadegh Esmaeil Zadeh Soudjani
aka: Sadegh Soudjani
aka: Sadegh Soudjani
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
