diffRL enables verification of symbolic properties over input ranges for DRL agents in adaptive video streaming, wireless resource management, and congestion control by decomposing them into tractable sub-properties for existing DNN verifiers.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.NI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Analyzing Symbolic Properties for DRL Agents in Systems and Networking
diffRL enables verification of symbolic properties over input ranges for DRL agents in adaptive video streaming, wireless resource management, and congestion control by decomposing them into tractable sub-properties for existing DNN verifiers.