Showing 2025Show all
2 papers · 1 filter
cs.AI2025
A Compositional Framework for On-the-Fly LTLf Synthesis
Yongkang Li, Shengping Xiao, Shufang Zhu +2
Reactive synthesis from Linear Temporal Logic over finite traces (LTLf) can be reduced to a two-player game over a Deterministic Finite Automaton (DFA) of the LTLf specification. T…
cs.SE2025
Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
Youwei Huang, Jianwen Li, Bin Hu +3
Malicious developer intents in smart contracts constitute significant security threats to decentralized applications, leading to substantial economic losses. Prior work introduced…