Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
机构 * University of Modena and Reggio Emilia(摩德纳和雷吉奥艾米利亚大学)
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.AI
Comments In Proceedings FMAS 2025, arXiv:2511.13245
Journal ref EPTCS 436, 2025, pp. 80-87