Querying Labeled Time Series Data with Scenario Programs
机构 * University of California, Berkeley(加州大学伯克利分校) ; Korea University(韩国大学) ; Chalmers University of Technology(查尔姆斯理工大学) ; University of Gothenburg(哥德堡大学) ; University of California, Santa Cruz(加州大学圣克ruz分校)
Journal ref NASA Formal Methods Conference 2025