most citedDRMD: Deep Reinforcement Learning for Malware Detection under Concept Drift

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

LTL Verification of Memoryful Neural Agents

Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti

We present a framework for verifying Memoryful Neural Multi-Agent Systems (MN-MAS) against full Linear Temporal Logic (LTL) specifications. In MN-MAS, agents interact with a non-de…