88 citations · 339 across the 67 of their papers we have counts for
6 papers · 1 filter
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu +2
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, et…
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochasti…
Symbolic Monitoring against Specifications Parametric in Time and Data
Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring consists in deciding whether a log meets a given specification. In this work, we propose an automata-based formalism to monitor logs in the form of actions associated wi…
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Takamasa Okudono, Masaki Waga, Taro Sekiyama +1
We present a method to extract a weighted finite automaton (WFA) from a recurrent neural network (RNN). Our algorithm is based on the WFA learning algorithm by Balle and Mohri, whi…
Parametric Timed Pattern Matching
Masaki Waga, Étienne André, Ichiro Hasuo
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…
Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…