activity
20232026
most citedVerification-Guided Shielding for Deep Reinforcement Learning

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

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.AI2026

Cycle-Consistent Neural Explanation of Formal Verification Certificates

Andoni Rodriguez, Alberto Pozanco, Daniel Borrajo

Formal verification produces machine-checkable certificates that attest to the satisfaction or violation of temporal properties, yet these certificates remain opaque to non-special…

cs.CR2026

Is Your Agent Playing Dead? Deployed LLM Agents Exhibit Constraint-Evasive Fabrication and Thanatosis

Andoni Rodríguez, Alberto Pozanco, Daniel Borrajo

This paper presents and characterizes a spectrum of previously unreported behaviours we term Constraint-Evasive Fabrication (CEF): when an LLM agent operates under irreconcilable c…