53 citations · 145 across the 24 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 9 cited
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm…
cs.AI2018★ 5 cited
Automated proof synthesis for propositional logic with deep neural networks
Taro Sekiyama, Kohei Suenaga
This work explores the application of deep learning, a machine learning technique that uses deep neural networks (DNN) in its core, to an automated theorem proving (ATP) problem. T…