monpoly

Here are 2 public repositories matching this topic...

nikos-kekatos / formal-rv-tool-using-llm-agents

Formal runtime verification for tool-using LLM agents: MFOTL/MonPoly replayed offline on AgentDojo, STAC and R-Judge. Paper, MFOTL specifications, experiments, and the benchmark-readiness audit (CPSIoTSec 2026).

formal-methods runtime-verification mfotl prompt-injection llm-agents agent-security monpoly agentdojo

Updated Aug 27, 2026
Python

remolueoend / ethz-bsc-thesis

Star

My bachelor's thesis: Monitoring Complex Data Types

thesis runtime paper verification ethz monpoly

Updated Jan 30, 2025
TeX

Improve this page

Add a description, image, and links to the monpoly topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the monpoly topic, visit your repo's landing page and select "manage topics."

Learn more