3 papers
cs.SE2026
Declarative Scenario-based Testing with RoadLogic
Ezio Bartocci, Alessio Gambi, Felix Gigler +2
Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring d…
cs.LO2026
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
Medina Andresel, Cristinel Mateis, Dejan Nickovic +3
Translating informal requirements into formal specifications is challenging due to the ambiguity and variability of natural language (NL). This challenge is particularly pronounced…
cs.CL2025
Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
Elias Horner, Cristinel Mateis, Guido Governatori +1
We present a comprehensive approach to the automated formalization of legal texts using large language models (LLMs), targeting their transformation into Defeasible Deontic Logic (…