R\^omulo Meira-G\'oes

Identifiers

• name variant R\^omulo Meira-G\'oes 0.60 · backfill

Papers (2)

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

Mentions

• 2606.03872 #4 · arxiv_oai · confidence 0.70 R\^omulo Meira-G\'oes

Frequent Coauthors

• Ilya Kovalenko 2 shared papers
• Jonghan Lim 2 shared papers
• Mostafa Tavakkoli Anbarani 1 shared papers
• Shih-Jie Shih 1 shared papers