1 citations · 1 across the 1 of their papers we have counts for
3 papers
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.AI2026★ 1 cited
Autonomy and Agency in Agentic AI: Architectural Tactics for Regulated Contexts
Damir Safin, Dian Balta
Deploying agentic AI in regulated contexts requires principled reasoning about two design dimensions: agency (what the system can do) and autonomy (how much it acts without human i…
cs.SE2024
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
Lev Sorokin, Damir Safin, Shiva Nejati
Search-based software testing (SBST) is a widely adopted technique for testing complex systems with large input spaces, such as Deep Learning-enabled (DL-enabled) systems. Many SBS…