activity
20162024
most citedCapabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra

20 citations · 20 across the 7 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2023

Statistical Verification of Traffic Systems with Expected Differential Privacy

Mark Yen, Geir E. Dullerud, Yu Wang

Traffic systems are multi-agent cyber-physical systems whose performance is closely related to human welfare. They work in open environments and are subject to uncertainties from v…