monpoly

Star

Here are 2 public repositories matching this topic...

remolueoend / ethz-bsc-thesis

Star

My bachelor's thesis: Monitoring Complex Data Types

thesis runtime paper verification ethz monpoly

Updated Jan 30, 2025
TeX

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

Star

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

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