( en | de | ru )

 

Disambiguation of "Hasuo, Ichiro"

Author of the publication

copydeleteadd this publication to your clipboard
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

, , , and . AAAI, page 5306-5314. AAAI Press, (2020)

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

Dynamic Shielding for Reinforcement Learning in Black-Box Environments., , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 25-41. Springer, (2022)Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 470-488. Springer, (2022)Decision Tree Learning in CEGIS-Based Termination Analysis., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 75-98. Springer, (2021)Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis., , and . SNR@CAV, volume 37 of EPiC Series in Computing, page 11-22. EasyChair, (2015)Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)., , and . NII Shonan Meet. Rep., (2013)Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments., , and . CoRR, (2018)Categorical semantics for arrows., , and . J. Funct. Program., 19 (3-4): 403-438 (2009)Relational differential dynamic logic: poster abstract., , , , , and . HSCC, page 284-285. ACM, (2019)Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 135-153. Springer, (2019)Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial).. CONCUR, volume 118 of LIPIcs, page 5:1-5:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)