Scholar
Rômulo Meira-Góes
Google Scholar ID: IVN60_4AAAAJ
Assistant Professor, Electrical Engineering, Penn State University
Discrete Event Systems
Supervisory Control
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
677
H-index
12
i10-index
14
Publications
20
Co-authors
18
list available
Publications
3 items
Learning Linear Temporal Specifications from Demonstrations with Uncertainty
2026
Cited
0
Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
2026
Cited
0
Constrained LTL Specification Learning from Examples
2024
Cited
0
Co-authors
10 total
Eunsuk Kang
Associate Professor of Computer Science, Carnegie Mellon University
Parv Kapoor
Carnegie Mellon University
Stavros Tripakis
Associate Professor, Northeastern University
Ilya Kovalenko
Assistant Professor, Mechanical Engineering, Industrial & Manufacturing Engineering, Penn State
Mostafa Tavakkoli Anbarani
Pennsylvania State University
Ian Dardik
PhD Student, Carnegie Mellon University
Efe Balta
inspire AG & ETH Zurich
Rebekka Wohlrab
Assistant Professor at Chalmers University of Technology
