( en | de | ru )

 

Disambiguation of "Hasuo, Ichiro"

Author of the publication

copydeleteadd this publication to your clipboard
Goal-Aware RSS for Complex Scenarios via Program Logic.

, , , , , , , , , , , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Temmyo Ichiro

Ichiro Yamaguchi

Ichiro Yamaguchi

Ichiro Tamura

Ichiro Omura

 

Other publications of authors with the same name

Quantitative bisimulations using coreflections and open morphisms., , , and . CoRR, (2018)Relational Differential Dynamic Logic., , , , , and . CoRR, (2019)The Microcosm Principle and Concurrency in Coalgebra., , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 246-260. Springer, (2008)Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems., , and . CyPhy, volume 11267 of Lecture Notes in Computer Science, page 109-126. Springer, (2017)Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.. New Generation Comput., 35 (3): 271-305 (2017)Special Issue on Quantum Physics and Logic., and . New Gener. Comput., 34 (1-2): 1-2 (2016)Generic weakest precondition semantics from monads enriched with order.. Theor. Comput. Sci., (2015)Constrained Optimization for Falsification and Conjunctive Synthesis., , and . CoRR, (2020)Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.. CoRR, (2022)Control-data separation and logical condition propagation for efficient inference on probabilistic programs., , , , , and . J. Log. Algebraic Methods Program., (January 2024)