Author of the publication

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.

 

Other publications of authors with the same name

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework., , , , , , and . CoRR, (2023)Experimenting a New Programming Practice with LLMs., , , , , and . CoRR, (2024)A refinement development approach for enhancing the safety of PLC programs with Event-B., , , , and . Sci. Comput. Program., (2022)EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps., , , , and . ICANN (1), volume 12396 of Lecture Notes in Computer Science, page 504-516. Springer, (2020)Generating adversarial examples for DNN using pooling layers., , , and . J. Intell. Fuzzy Syst., 37 (4): 4615-4620 (2019)Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems., , , , and . IEEE Trans. Ind. Informatics, 18 (7): 4393-4405 (2022)OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks., , , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 208-226. Springer, (2023)SAT-based Explicit LTLf Satisfiability Checking., , , , and . CoRR, (2018)Optimizing backbone filtering., , and . Sci. Comput. Program., (2020)Approximate Reachability., , , , and . CoRR, (2016)