Graph explorer

Research map

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

Naoto Sato
Map detail
Naoto Sato4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipNaoto SatoANaoto SatoResearcherUnsupposable Test-data Generation for Machine-learned SoftwareWUnsupposable Test-data ...preprint / 2020Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value RangesWFormal Verification of ...preprint / 2019Abstract Data Types in Event-B - An Application of Generic InstantiationWAbstract Data Types in ...preprint / 2012
Person3 links

Naoto Sato

Researcher