Search Results for author: Ichiro Hasuo

Found 13 papers, 5 papers with code

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down

no code implementations11 May 2021 Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science.

Model-bounded monitoring of hybrid systems

no code implementations15 Feb 2021 Masaki Waga, Étienne André, Ichiro Hasuo

Monitoring of hybrid systems attracts both scientific and practical attention.

Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning

no code implementations26 Nov 2020 Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo

Prioritized experience replay (PER) samples important transitions, rather than uniformly, to improve the performance of a deep reinforcement learning agent.

Atari Games

Genetic Algorithm for the Weight Maximization Problem on Weighted Automata

1 code implementation11 Apr 2020 Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo

In this work, we propose, implement and evaluate a metaheuristic based on genetic algorithms to approximate solutions to the WMP.

Symbolic Monitoring against Specifications Parametric in Time and Data

1 code implementation11 May 2019 Masaki Waga, Étienne André, Ichiro Hasuo

Monitoring consists in deciding whether a log meets a given specification.

Formal Languages and Automata Theory Systems and Control

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces

no code implementations5 Apr 2019 Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

We present a method to extract a weighted finite automaton (WFA) from a recurrent neural network (RNN).

Offline timed pattern matching under uncertainty

1 code implementation21 Dec 2018 Étienne André, Ichiro Hasuo, Masaki Waga

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log.

Systems and Control Logic in Computer Science F.4

Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

1 code implementation11 Dec 2018 Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

We present an algorithm that quickly finds falsifying inputs for hybrid systems, i. e., inputs that steer the system towards violation of a given temporal logic requirement.

Systems and Control

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

1 code implementation16 Nov 2018 Satoshi Kura, Natsuki Urabe, Ichiro Hasuo

To this goal, we devise a theory of supermartingales that overapproximate higher moments of runtime.

Logic in Computer Science

Causality-Aided Falsification

no code implementations8 Sep 2017 Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability.

Stochastic Optimization

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)

no code implementations2 Nov 2015 Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea

In the context of formal verification in general and model checking in particular, parity games serve as a mighty vehicle: many problems are encoded as parity games, which are then solved by the seminal algorithm by Jurdzinski.

Logic in Computer Science Programming Languages

Proceedings of the 11th workshop on Quantum Physics and Logic

no code implementations28 Dec 2014 Bob Coecke, Ichiro Hasuo, Prakash Panangaden

The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013).

Cannot find the paper you are looking for? You can Submit a new open access paper.