Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIchiro Hasuo
Person information
- affiliation: University of Tokyo
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Ichiro Hasuo
, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136: 100922 (2024)- [c98]Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) 2024: 282-306 - [c97]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CAV (3) 2024: 467-491 - [c96]Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo:
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS 2024: 1-22 - [c95]Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo:
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS 2024: 135-155 - [c94]Serge Lechenne, Clovis Eberhart, Ichiro Hasuo:
A Compositional Framework for Petri Nets. CMCS 2024: 174-193 - [c93]Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa:
Formal Support for Threat Modeling with Attack Decision Diagrams. COMPSAC 2024: 2454-2459 - [c92]Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ESOP (2) 2024: 90-118 - [c91]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IV 2024: 3154 - [c90]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC 2024: 186-195 - [c89]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) 2024: 279-298 - [i65]Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges:
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR abs/2401.08377 (2024) - [i64]Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version). CoRR abs/2401.12639 (2024) - [i63]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR abs/2403.18764 (2024) - [i62]Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo:
Compositional Value Iteration with Pareto Caching. CoRR abs/2405.10099 (2024) - [i61]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR abs/2407.09775 (2024) - [i60]Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo:
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR abs/2407.10465 (2024) - 2023
- [j28]Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori:
Activities of National Institute of Informatics in Japan. Commun. ACM 66(7): 58-63 (2023) - [j27]Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023) - [j26]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8(4): 3040-3072 (2023) - [j25]Masaki Waga, Étienne André, Ichiro Hasuo:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [j24]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c88]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) 2023: 40-61 - [c87]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) 2023: 41-63 - [c86]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c85]Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama:
Automated Security Analysis for Real-World IoT Devices. HASP@MICRO 2023: 29-37 - [c84]James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo:
Formal Verification of Intersection Safety for Automated Driving. ITSC 2023: 107-114 - [c83]Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo:
Formal Verification of Safety Architectures for Automated Driving. IV 2023: 1-8 - [i59]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - [i58]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR abs/2307.02817 (2023) - [i57]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Solution of Mean Payoff Games by String Diagrams. CoRR abs/2307.08034 (2023) - [i56]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR abs/2307.08765 (2023) - [i55]Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo:
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR abs/2307.15261 (2023) - [i54]James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo:
Formal Verification of Intersection Safety for Automated Driving. CoRR abs/2308.06785 (2023) - [i53]Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo:
Formal Verification of Safety Architectures for Automated Driving. CoRR abs/2308.10365 (2023) - 2022
- [j23]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo:
Codensity Games for Bisimilarity. New Gener. Comput. 40(2): 403-465 (2022) - [j22]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - [c82]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - [c81]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) 2022: 235-256 - [c80]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - [i52]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR abs/2203.13247 (2022) - [i51]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR abs/2203.14261 (2022) - [i50]Ichiro Hasuo:
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. CoRR abs/2206.03418 (2022) - [i49]Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi:
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR abs/2207.02387 (2022) - [i48]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR abs/2207.13446 (2022) - 2021
- [j21]David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo:
Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. 31(6): 1526-1559 (2021) - [j20]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31(3): 18:1-18:22 (2021) - [j19]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43(2): 5:1-5:46 (2021) - [c79]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222 - [c78]Satoshi Kura, Hiroshi Unno, Ichiro Hasuo:
Decision Tree Learning in CEGIS-Based Termination Analysis. CAV (2) 2021: 75-98 - [c77]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c76]Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata:
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CONCUR 2021: 21:1-21:22 - [c75]Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo:
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM 2021: 313-329 - [c74]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c73]Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo:
Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. IJCNN 2021: 1-10 - [c72]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS 2021: 1-14 - [c71]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM 2021: 198-213 - [c70]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c69]Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF 2021: 22-38 - [c68]Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. SNR 2021: 25-43 - [c67]Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
A Compositional Approach to Parity Games. MFPS 2021: 278-295 - [i47]Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR abs/2101.01502 (2021) - [i46]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021) - [i45]Satoshi Kura, Hiroshi Unno, Ichiro Hasuo:
Decision Tree Learning in CEGIS-Based Termination Analysis. CoRR abs/2104.11463 (2021) - [i44]Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata:
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CoRR abs/2105.04817 (2021) - [i43]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR abs/2105.10164 (2021) - [i42]Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation Via Logic. CoRR abs/2107.10948 (2021) - [i41]Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata:
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR abs/2108.07509 (2021) - 2020
- [j18]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3674-3685 (2020) - [c66]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI 2020: 5306-5314 - [c65]Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) 2020: 349-371 - [c64]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic algorithm for the weight maximization problem on weighted automata. GECCO 2020: 699-707 - [c63]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419 - [c62]Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational Differential Dynamic Logic. TACAS (1) 2020: 191-208 - [i40]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020) - [i39]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR abs/2004.06581 (2020) - [i38]Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR abs/2007.07421 (2020) - [i37]Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo:
Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning. CoRR abs/2011.13093 (2020) - [i36]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR abs/2012.00319 (2020)
2010 – 2019
- 2019
- [c61]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c60]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539 - [c59]Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo:
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. FoSSaCS 2019: 523-540 - [c58]Masaki Waga, Ichiro Hasuo:
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC 2019: 272-273 - [c57]Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational differential dynamic logic: poster abstract. HSCC 2019: 284-285 - [c56]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo:
Codensity Games for Bisimilarity. LICS 2019: 1-13 - [c55]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST 2019: 165-181 - [c54]Satoshi Kura, Natsuki Urabe, Ichiro Hasuo:
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. TACAS (2) 2019: 135-153 - [c53]Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee:
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS 2019: 12:1-12:6 - [i35]Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational Differential Dynamic Logic. CoRR abs/1903.00153 (2019) - [i34]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR abs/1904.02931 (2019) - [i33]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR abs/1905.04486 (2019) - [i32]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019) - [i31]Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo:
Codensity Games for Bisimilarity. CoRR abs/1907.09634 (2019) - 2018
- [j17]Ichiro Hasuo:
Preface. J. Log. Algebraic Methods Program. 94: 183 (2018) - [j16]Natsuki Urabe, Ichiro Hasuo:
Coalgebraic Infinite Traces and Kleisli Simulations. Log. Methods Comput. Sci. 14(3) (2018) - [j15]Ichiro Hasuo, Toshiki Kataoka, Kenta Cho:
Coinductive predicates and final sequences in a fibration. Math. Struct. Comput. Sci. 28(4): 562-611 (2018) - [j14]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2649-2660 (2018) - [j13]Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2894-2905 (2018) - [c52]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c51]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS 2018: 247-252 - [c50]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA 2018: 476-493 - [c49]David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo:
Fibrational Bisimulations and Quantitative Reasoning. CMCS 2018: 190-213 - [c48]Natsuki Urabe, Ichiro Hasuo:
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. CMCS 2018: 214-234 - [c47]Ichiro Hasuo:
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). CONCUR 2018: 5:1-5:2 - [c46]Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek 2018: 3-4 - [c45]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15 - [c44]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - [i30]Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards:
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR abs/1803.06276 (2018) - [i29]Natsuki Urabe, Ichiro Hasuo:
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. CoRR abs/1803.06811 (2018) - [i28]Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR abs/1805.10749 (2018) - [i27]Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger:
Quantitative bisimulations using coreflections and open morphisms. CoRR abs/1809.09278 (2018) - [i26]Natsuki Urabe, Ichiro Hasuo:
Quantitative Matrix Simulation. CoRR abs/1810.09146 (2018) - [i25]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR abs/1810.09351 (2018) - [i24]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. CoRR abs/1810.09633 (2018) - [i23]Satoshi Kura, Natsuki Urabe, Ichiro Hasuo:
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. CoRR abs/1811.06779 (2018) - [i22]Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo:
Path category for free - Open morphisms from coalgebras with non-deterministic branching. CoRR abs/1811.12294 (2018) - [i21]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR abs/1812.04159 (2018) - [i20]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline timed pattern matching under uncertainty. CoRR abs/1812.08940 (2018) - 2017
- [j12]Ichiro Hasuo, Naohiko Hoshino:
Semantics of higher-order quantum computation via geometry of interaction. Ann. Pure Appl. Log. 168(2): 404-469 (2017) - [j11]