arXiv cs.CR·1d agoHybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola#runtime-verification#edge-iot#monpolyResearch 2 sources1
arXiv cs.CR·1d agoFormal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC#llm-agents#mfotl#monpolyAI safety & security2