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.

Daniel Neider
SearchCollections
Map detail
Daniel Neider13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDaniel NeiderADaniel NeiderResearcherProbably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided SynthesisWProbably Approximately ...preprint / 2020Optimally Resilient Strategies in Pushdown Safety GamesWOptimally Resilient Str...preprint / 2020Down the Borel Hierarchy: Solving Muller Games via Safety GamesWDown the Borel Hierarch...preprint / 2012An Automaton Learning Approach to Solving Safety Games over Infinite GraphsWAn Automaton Learning A...preprint / 2016From LTL to rLTL Monitoring: Improved Monitorability through Robust SemanticsWFrom LTL to rLTL Monito...preprint / 2022Property-Directed Verification of Recurrent Neural NetworksWProperty-Directed Verif...preprint / 2020A Formal Language Approach to Explaining RNNsWA Formal Language Appro...preprint / 2020Robust Linear Temporal LogicWRobust Linear Temporal ...preprint / 2015Being correct is not enough: efficient verification using robust linear temporal logicWBeing correct is not en...preprint / 2021Neuro-Symbolic Verification of Deep Neural NetworksWNeuro-Symbolic Verifica...preprint / 2022Learning Interpretable Models in the Property Specification LanguageWLearning Interpretable ...preprint / 2020Abstract Learning Frameworks for SynthesisWAbstract Learning Frame...preprint / 2016
Person12 links

Daniel Neider

Researcher

PaperProbably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided SynthesisAuthorship / preprint / 2020PaperOptimally Resilient Strategies in Pushdown Safety GamesAuthorship / preprint / 2020PaperDown the Borel Hierarchy: Solving Muller Games via Safety GamesAuthorship / preprint / 2012PaperAn Automaton Learning Approach to Solving Safety Games over Infinite GraphsAuthorship / preprint / 2016PaperFrom LTL to rLTL Monitoring: Improved Monitorability through Robust SemanticsAuthorship / preprint / 2022PaperProperty-Directed Verification of Recurrent Neural NetworksAuthorship / preprint / 2020PaperA Formal Language Approach to Explaining RNNsAuthorship / preprint / 2020PaperRobust Linear Temporal LogicAuthorship / preprint / 2015

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)