67 citations · 98 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 1 cited
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
Takumi Akazaki, Ichiro Hasuo
Building on the work by Fainekos and Pappas and the one by Donze and Maler, we introduce AvSTL, an extension of metric interval temporal logic by averaged temporal operators. Its e…
eess.SY2015★ 1 cited
Input Synthesis for Sampled Data Systems by Program Logic
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturb…