From post

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.

 

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

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks., , , , и . CoRR, (2021)Learning Temporal Logic Properties: an Overview of Two Recent Methods., , , , , и . CoRR, (2022)Learning Interpretable Temporal Properties from Positive Examples Only., , , , , и . AAAI, стр. 6507-6515. AAAI Press, (2023)Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications., и . CoRR, (2022)Learning Interpretable Temporal Properties from Positive Examples Only., , , , , и . CoRR, (2022)Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks., , , , и . IEEE Control. Syst. Lett., (2022)Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference., , , и . CoRR, (2023)Uncertainty-Aware Signal Temporal Logic Inference., , , , и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 61-85. Springer, (2021)Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications., , , , , , и . IEEE Access, (2023)Uncertainty-Aware Signal Temporal logic., , , , и . CoRR, (2021)