Ilya Kovalenko

Identifiers

• name variant Ilya Kovalenko 0.60 · backfill

Papers (2)

1. NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations eess.SY · 2026 · author #3
2. Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems cs.MA · 2026 · author #4

Mentions

• 2606.03872 #3 · arxiv_oai · confidence 0.70 Ilya Kovalenko

Frequent Coauthors

• Jonghan Lim 2 shared papers
• R\^omulo Meira-G\'oes 2 shared papers
• Mostafa Tavakkoli Anbarani 1 shared papers
• Shih-Jie Shih 1 shared papers