Behailu Wolde

BeVerA-KG: Behaviour-Driven Design-Time Verification of Neuro-Symbolic Agents via Knowledge Graphs for Trustworthy Humanitarian Edge Systems

Runtime guardrails for LLM agents enforce safety per individual action at execution time, but fail to verify the reachable state space before deployment. We present BeVerA-KG, a behaviour-driven framework that shifts verification to design time. Stakeholder-authored Gherkin scena...