Resolving Nondeterminism by Chance.
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, and Di-De Yen. Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), 2025.
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 52 blog entries.
Efficient Inference of Sources and Targets in a Graph with Limited Observations.
Wanrong Yang and Dominik Wojtczak. Volume 413: ECAI 2025.
Abstract Attack Intention Inference Using Low-Rank Gated Arithmetic Interactive Attention.
Wanrong Yang, Manhui Wang, and Dominik Wojtczak. Proceedings of the 2025 IEEE International Conference on Cyber Security and Resilience (CSR25), 2025.
Efficient Learning of Weak Deterministic Büchi Automata.
Mona Alluwaym, Yong Li, Sven Schewe, and Qiyi Tang. Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025), 2025.
Objective Improvement: Algorithm for Controller Synthesis in Uncertain Environments.
Daniele Dell’Erba, Sven Schewe, and Ashutosh Trivedi. Proceedings of the 64th IEEE Conference on Decision and Control (CDC 2025), 2025.
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.
Yong Li, Sven Schewe, and Moshe Y. Vardi. Theoretical Computer Science 1006:114650, TCS24, 2024.
Enhancing Adversarial Training with Second-Order Statistics of Weights.
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, and Xiaowei Huang. Transactions on Pattern Analysis and Machine Intelligence 47(10):8630-8641, TPAMI25. 2025.
Let’s Take Esoteric Programming Languages Seriously.
Jeremy Singer and Steve Draper. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Secure Scripting with CHERIoT MicroPython.
Duncan Lowther, Dejice Jacob, Jacob Trevor, and Jeremy Singer. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization.
Huanting Wang, Patrick Lenihan, and Zheng Wang. Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2025.
by