Ichiro Hasuo

1. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs
   2021/06/08 by Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe +1 · 7 citations
2. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
   2018/11/16 by Satoshi Kura, Kura, Satoshi, Natsuki Urabe +3 · 4 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research
3. Dynamic Shielding for Reinforcement Learning in Black-Box Environments
   2022/07/27 by Masaki Waga, Ezequiel Castellano, Waga, Masaki +9 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Reinforcement Learning in Robotics #Software Reliability and Analysis Research
4. Healthiness from Duality
   2016/05/02 by Wataru Hino, Hiroki Kobayashi, Hino, Wataru +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. Fast Falsification of Hybrid Systems using Probabilistically Adaptive\n Input
   2018/12/10 by Gidon Ernst, Ernst, Gidon, Sean Sedwards +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Online Causation Monitoring of Signal Temporal Logic
   2023/05/28 by Zhenya Zhang, Zhang, Zhenya, Jie An +5 · 3 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
7. Compositional Probabilistic Model Checking with String Diagrams of MDPs
   2023/07/17 by Kazuki Watanabe, Watanabe, Kazuki, Clovis Eberhart +5 · 3 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques
8. Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
   2015/05/23 by Takumi Akazaki, Akazaki, Takumi, Ichiro Hasuo +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #VLSI and Analog Circuit Testing #electronic engineering #information engineering
9. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)
   2015/11/03 by Kengo Kido, Kido, Kengo, Swarat Chaudhuri +3 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL
10. Semantics of Higher-Order Quantum Computation via Geometry of Interaction
    2016/05/17 by Ichiro Hasuo, Naohiko Hoshino, Hasuo, Ichiro +1 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Computability, Logic, AI Algorithms #Logic, programming, and type systems
11. Coalgebraic Trace Semantics for Buechi and Parity Automata
    2016/06/30 by Natsuki Urabe, Shunsuke Shimizu, Urabe, Natsuki +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
12. Weighted Automata Extraction from Recurrent Neural Networks via\n Regression on State Spaces
    2019/04/05 by Takamasa Okudono, Masaki Waga, Okudono, Takamasa +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Natural Language Processing Techniques #semigroups and automata theory
13. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
    2024/08/13 by Sota Sato, Jie An, Sato, Sota +5 · 2 citations
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
14. A Unifying Approach to Product Constructions for Quantitative Temporal Inference
    2024/07/15 by Kazuki Watanabe, Watanabe, Kazuki, Sebastian Junges +5 · 3 citations
    Computer Science · #Bayesian Modeling and Causal Inference
15. Compositional Solution of Mean Payoff Games by String Diagrams
    2023/07/16 by Kazuki Watanabe, Watanabe, Kazuki, Clovis Eberhart +5 · 2 citations
    Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies
16. Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
    2015/11/02 by Ichiro Hasuo, Hasuo, Ichiro, Shunsuke Shimizu +4 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.LO #cs.PL
17. Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
    2024/01/23 by Hiroya Fujinami, Ichiro Hasuo, Fujinami, Hiroya +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Network Packet Processing and Optimization #Programming Languages (cs.PL) #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
18. Value Iteration for Stochastic Parity Games
    2026/07/20 by Kittiphon Phalakarn, Ichiro Hasuo
    Computer Science · #cs.GT