( en | de | ru )

 

Disambiguation of "Waga, Masaki"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Monitoring Against Specifications Parametric in Time and Data.

, , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 520-539. 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. You can also use the button next to the name to display some publications already assigned to the person.

Masaki Nakajima

Mezemir Fikre-Mariam Wagaw

Nils-Carsten Waga

Petra Wagatha

Matthias Wagatha

 

Other publications of authors with the same name

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