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.

Ichiro Hasuo
SearchCollections
Map detail
Ichiro Hasuo13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIchiro HasuoAIchiro HasuoResearcherResponsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and FormalizationWResponsibility-Sensitiv...preprint / 2022Goal-Aware RSS for Complex Scenarios via Program LogicWGoal-Aware RSS for Comp...preprint / 2022Generic Trace Semantics via CoinductionWGeneric Trace Semantics...preprint / 2007Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)WLattice-Theoretic Progr...preprint / 2016Semantics of Higher-Order Quantum Computation via Geometry of InteractionWSemantics of Higher-Ord...preprint / 2016Time-Staging Enhancement of Hybrid System FalsificationWTime-Staging Enhancemen...preprint / 2022Relational Differential Dynamic LogicWRelational Differential...preprint / 2020Proceedings of the 11th workshop on Quantum Physics and LogicWProceedings of the 11th...preprint / 2014Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)WTime Robustness in MTL ...preprint / 2015Near-Optimal Scheduling for LTL with Future DiscountingWNear-Optimal Scheduling...preprint / 2015Input Synthesis for Sampled Data Systems by Program LogicWInput Synthesis for Sam...preprint / 2015Constrained Optimization for Hybrid System Falsification and Application to Conjunctive SynthesisWConstrained Optimizatio...preprint / 2021
Person12 links

Ichiro Hasuo

Researcher

PaperResponsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and FormalizationAuthorship / preprint / 2022PaperGoal-Aware RSS for Complex Scenarios via Program LogicAuthorship / preprint / 2022PaperGeneric Trace Semantics via CoinductionAuthorship / preprint / 2007PaperLattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)Authorship / preprint / 2016PaperSemantics of Higher-Order Quantum Computation via Geometry of InteractionAuthorship / preprint / 2016PaperTime-Staging Enhancement of Hybrid System FalsificationAuthorship / preprint / 2022PaperRelational Differential Dynamic LogicAuthorship / preprint / 2020PaperProceedings of the 11th workshop on Quantum Physics and LogicAuthorship / preprint / 2014

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)