Verification of Autonomous Neural Car Control with KeYmaera X

4 April 2025

Papers citing "Verification of Autonomous Neural Car Control with KeYmaera X"

2 / 2 papers shown

Title
The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners Vince Trencsenyi Agnieszka Mensfelt Kostas Stathis LRM 23 0 0 14 May 2025
Can Generative AI agents behave like humans? Evidence from laboratory market experiments R. Maria del Rio-Chanona Marco Pangallo Cars Hommes 34 0 0 12 May 2025