Jonghan Lim

Identifiers

• name variant Jonghan Lim 0.60 · backfill

Papers (3)

1. NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations eess.SY · 2026 · author #2
2. Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems cs.MA · 2026 · author #1
3. Link Performance Abstraction for Interference-Aware Communications (IAC) cs.IT · 2013 · author #4

Mentions

• 2606.03872 #2 · arxiv_oai · confidence 0.70 Jonghan Lim
• 1310.0872 #4 · backfill · confidence 0.70 Jonghan Lim

Frequent Coauthors

• Ilya Kovalenko 2 shared papers
• R\^omulo Meira-G\'oes 2 shared papers
• Heunchul Lee 1 shared papers
• Mostafa Tavakkoli Anbarani 1 shared papers
• Shih-Jie Shih 1 shared papers
• Taeyoon Kim 1 shared papers
• Wonwoo Park 1 shared papers