Graph explorer

Abolfazl Lavaei

Abolfazl Lavaei contributes to research discovery and scholarly infrastructure.

20 nodes59 linksoverview previewAbolfazl Lavaei
20 nodes59 links
Abolfazl Lavaei20 visible / 20 total nodes / 59 links
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 contextAAbolfazl LavaeiResearcherWk-Inductive Neural Barr...preprint / 2026AHongchao ZhangResearcherABen WoodingResearcherATaylor T. JohnsonResearcherWAutomated Verification ...preprint / 2022WFormal Estimation of Co...preprint / 2022WConstructing MDP Abstra...preprint / 2022WData-Driven Synthesis o...preprint / 2022WCompositional Controlle...preprint / 2022WSafety Barrier Certific...preprint / 2022WCompositional Reinforce...preprint / 2022WAMYTISS: Parallelized A...preprint / 2020WFormal Controller Synth...preprint / 2020WCompositional (In)Finit...preprint / 2020WCompositional Abstracti...preprint / 2020Teess.SY7081 worksTArtificial Intelligence22915 worksTMachine Learning49008 worksTLogic in Computer Science2208 works
PersonSignal 1019 links

Abolfazl Lavaei

Researcher

Open