BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Abolfazl Lavaei
SearchCollections
Map detail
Abolfazl Lavaei20 visible / 20 total nodes / 59 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalRelated contextAbolfazl LavaeiAAbolfazl LavaeiResearcherk-Inductive Neural Barrier Certificates for Unknown Nonlinear DynamicsWk-Inductive Neural Barr...preprint / 2026Hongchao ZhangAHongchao ZhangResearcherBen WoodingABen WoodingResearcherTaylor T. JohnsonATaylor T. JohnsonResearcherAutomated Verification and Synthesis of Stochastic Hybrid Systems: A SurveyWAutomated Verification ...preprint / 2022Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven ApproachWFormal Estimation of Co...preprint / 2022Constructing MDP Abstractions Using Data with Formal GuaranteesWConstructing MDP Abstra...preprint / 2022Data-Driven Synthesis of Symbolic Abstractions with Guaranteed ConfidenceWData-Driven Synthesis o...preprint / 2022Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian SwitchingWCompositional Controlle...preprint / 2022Safety Barrier Certificates for Stochastic Hybrid SystemsWSafety Barrier Certific...preprint / 2022Compositional Reinforcement Learning for Discrete-Time Stochastic Control SystemsWCompositional Reinforce...preprint / 2022AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic SystemsWAMYTISS: Parallelized A...preprint / 2020Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement LearningWFormal Controller Synth...preprint / 2020Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic SystemsWCompositional (In)Finit...preprint / 2020Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity ApproachWCompositional Abstracti...preprint / 2020eess.SYTeess.SY7081 worksArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksLogic in Computer ScienceTLogic in Computer Science2208 works
Person19 links

Abolfazl Lavaei

Researcher

Paperk-Inductive Neural Barrier Certificates for Unknown Nonlinear DynamicsAuthorship / preprint / 2026PersonHongchao ZhangCo-authorship / ResearcherPersonBen WoodingCo-authorship / ResearcherPersonTaylor T. JohnsonCo-authorship / ResearcherPaperAutomated Verification and Synthesis of Stochastic Hybrid Systems: A SurveyAuthorship / preprint / 2022PaperFormal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven ApproachAuthorship / preprint / 2022PaperConstructing MDP Abstractions Using Data with Formal GuaranteesAuthorship / preprint / 2022PaperData-Driven Synthesis of Symbolic Abstractions with Guaranteed ConfidenceAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)