Browsing: arXiv AI
[Submitted on 3 Jun 2025 (v1), last revised 5 Jun 2025 (this version, v3)] View a PDF of the paper…
[Submitted on 12 Dec 2024 (v1), last revised 5 Jun 2025 (this version, v4)] View a PDF of the paper…
[Submitted on 8 Oct 2024 (v1), last revised 5 Jun 2025 (this version, v3)] View a PDF of the paper…
[Submitted on 19 Feb 2025 (v1), last revised 5 Jun 2025 (this version, v2)] View a PDF of the paper…
[Submitted on 12 Feb 2025 (v1), last revised 4 Jun 2025 (this version, v2)] View a PDF of the paper…
Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration
arXiv:2506.03469v1 Announce Type: new Abstract: Ensuring the safety of reinforcement learning (RL) policies in high-stakes environments requires not only formal…
[Submitted on 4 Jun 2025] Authors:Wanghao Ye, Sihan Chen, Yiting Wang, Shwai He, Bowei Tian, Guoheng Sun, Ziyi Wang, Ziyao…
arXiv:2506.03503v1 Announce Type: new Abstract: The quantification of social science remains a longstanding challenge, largely due to the philosophical nature…
[Submitted on 31 May 2025 (v1), last revised 4 Jun 2025 (this version, v3)] View a PDF of the paper…
arXiv:2506.03548v1 Announce Type: new Abstract: Traffic simulation tools, such as SUMO, are essential for urban mobility research. However, such tools…