28 citations · 67 across the 22 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Do LLMs Strategically Reveal, Conceal, and Infer Information? A Theoretical and Empirical Analysis in The Chameleon Game
Mustafa O. Karabag, Jan Sobotka, Ufuk Topcu
Large language model-based (LLM-based) agents have become common in settings that include non-cooperative parties. In such settings, agents' decision-making needs to conceal inform…
cs.AI2023★ 7 cited
Formal Methods for Autonomous Systems
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…