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.

Taylor T. Johnson
SearchCollections
Map detail
Taylor T. Johnson21 visible / 21 total nodes / 64 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-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onAuthorshipWorks onWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalRelated contextAuthorshipTaylor T. JohnsonATaylor T. JohnsonResearcherk-Inductive Neural Barrier Certificates for Unknown Nonlinear DynamicsWk-Inductive Neural Barr...preprint / 2026Reward Shaping and Action Masking for Compositional Tasks using Behavior Trees and LLMsWReward Shaping and Acti...preprint / 2026Hongchao ZhangAHongchao ZhangResearcherAbolfazl LavaeiAAbolfazl LavaeiResearcherNicholas PotteigerANicholas PotteigerResearcherAnkita SamaddarAAnkita SamaddarResearcherBen WoodingABen WoodingResearcherXenofon KoutsoukosAXenofon KoutsoukosResearcherMachine LearningTMachine Learning49008 worksSafe and Stabilizing Distributed Multi-Path Cellular FlowsWSafe and Stabilizing Di...preprint / 2012eess.SYTeess.SY7081 worksArtificial IntelligenceTArtificial Intelligence22915 worksLogic in Computer ScienceTLogic in Computer Science2208 worksVirtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel InverterWVirtual Prototyping and...preprint / 2014Model Checking for Rectangular Hybrid Systems: A Quantified Encoding ApproachWModel Checking for Rect...preprint / 2022Reachability Analysis of a General Class of Neural Ordinary Differential EquationsWReachability Analysis o...preprint / 2022Verification of Deep Convolutional Neural Networks Using ImageStarsWVerification of Deep Co...preprint / 2020Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided ApproachWReachable Set Estimatio...preprint / 2020Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear SystemsWOrder-Reduction Abstrac...preprint / 2016NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical SystemsWNNV: The Neural Network...preprint / 2020
Person20 links

Taylor T. Johnson

Researcher

Paperk-Inductive Neural Barrier Certificates for Unknown Nonlinear DynamicsAuthorship / preprint / 2026PaperReward Shaping and Action Masking for Compositional Tasks using Behavior Trees and LLMsAuthorship / preprint / 2026PersonHongchao ZhangCo-authorship / ResearcherPersonAbolfazl LavaeiCo-authorship / ResearcherPersonNicholas PotteigerCo-authorship / ResearcherPersonAnkita SamaddarCo-authorship / ResearcherPersonBen WoodingCo-authorship / ResearcherPersonXenofon KoutsoukosCo-authorship / Researcher

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)