Author

Tomas Bueno Momcilovic

h-index 2 View on Semantic Scholar

We have 1 of 14 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

From Natural Language Policies to Executable Obligations: A Verification Harness for Dependable In-Car LLM Agents

AgentGuardUtil is presented, the authors' entry to CAR-bench Track~1, which treats the AI planer (LLM) as a fallible proposer inside a grounded verify-and-revise loop, and its core novelty is a runtime policy compiler.

R. Bouchekir, Damir Safin, Tomas Bueno Momcilovic · 0 citations