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.

Guy Katz
SearchCollections
Map detail
Guy Katz13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGuy KatzAGuy KatzResearcherTowards Repairing Scenario-Based Models with Rich EventsWTowards Repairing Scena...preprint / 2021Guarded Deep Learning using Scenario-Based ModelingWGuarded Deep Learning u...preprint / 2020On Augmenting Scenario-Based Modeling with Generative AIWOn Augmenting Scenario-...preprint / 2024Enhancing Deep Learning with Scenario-Based Override Rules: a Case StudyWEnhancing Deep Learning...preprint / 2023DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural NetworksWDeepSafe: A Data-driven...preprint / 2020Wise Computing: Towards Endowing System Development with True WisdomWWise Computing: Towards...preprint / 2015Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)WExtending SMTCoq, a Cer...preprint / 2016An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksWAn Abstraction-Refineme...preprint / 2022Efficient Neural Network Analysis with Sum-of-InfeasibilitiesWEfficient Neural Networ...preprint / 2022Neural Network Verification using Residual ReasoningWNeural Network Verifica...preprint / 2022Verification-Aided Deep Ensemble SelectionWVerification-Aided Deep...preprint / 2022Verifying Recurrent Neural Networks using Invariant InferenceWVerifying Recurrent Neu...preprint / 2020
Person12 links

Guy Katz

Researcher

PaperTowards Repairing Scenario-Based Models with Rich EventsAuthorship / preprint / 2021PaperGuarded Deep Learning using Scenario-Based ModelingAuthorship / preprint / 2020PaperOn Augmenting Scenario-Based Modeling with Generative AIAuthorship / preprint / 2024PaperEnhancing Deep Learning with Scenario-Based Override Rules: a Case StudyAuthorship / preprint / 2023PaperDeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural NetworksAuthorship / preprint / 2020PaperWise Computing: Towards Endowing System Development with True WisdomAuthorship / preprint / 2015PaperExtending SMTCoq, a Certified Checker for SMT (Extended Abstract)Authorship / preprint / 2016PaperAn Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksAuthorship / 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)