TY  - RPRT
TI  - UPPAAi: Towards LLM-Assisted Modeling, Verification, Analysis and Synthesis
AU  - Peter Dolog
AU  - Kim G. Larsen
AU  - Marius Mikučionis
AU  - Frederik F. K. Rasmussen
PY  - 2026
UR  - https://arxiv.org/abs/2610.40042
ID  - 2610.40042
ER  -