1 citations · 1 across the 8 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
From Natural Language Policies to Executable Obligations: A Verification Harness for Dependable In-Car LLM Agents
Radouane Bouchekir, Damir Safin, Tomas Bueno Momcilovic
Large Language Models (LLMs) agents deployed in vehicles must satisfy a written operating policy on every turn: a single hallucinated identifier, omitted mandatory side-effect, or…
cs.SE2023
Need-driven decision-making and prototyping for DLT: Framework and web-based tool
Tomas Bueno Momčilović, Matthias Buchinger, Dian Balta
In its 14 years, distributed ledger technology has attracted increasing attention, investments, enthusiasm, and user base. However, ongoing doubts about its usefulness and recent l…