( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Online Parametric Timed Pattern Matching with Automata-Based Skipping.

, и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 371-389. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Masaki Nakajima

Mezemir Fikre-Mariam Wagaw

Nils-Carsten Waga

Matthias Wagatha

Petra Wagatha

 

Другие публикации лиц с тем же именем

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces., , , и . CoRR, (2019)ARCH-COMP 2021 Category Report: Falsification with Validation of Results., , , , , , , , , и 8 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 133-152. EasyChair, (2021)Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study., , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 313-329. Springer, (2021)Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption., , , , , , и . CoRR, (2024)Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption., , , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 447-468. Springer, (2022)Symbolic Monitoring Against Specifications Parametric in Time and Data., , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 520-539. Springer, (2019)Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces., , , и . AAAI, стр. 5306-5314. AAAI Press, (2020)Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data., , и . ATVA (1), том 14215 из Lecture Notes in Computer Science, стр. 33-52. Springer, (2023)Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis., , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 217-222. Elsevier, (2021)Moore-Machine Filtering for Timed and Untimed Pattern Matching., и . CoRR, (2018)