Meira-Goes, Romulo

1. Synthesis of Sensor Deception Attacks at the Supervisory Layer of\n Cyber-Physical Systems
   2020/08/04 by Rômulo Meira-Góes, EunSuk Kang, Meira-Goes, Romulo +5 · 3 citations
   Computer Science · Engineering · #FOS: Electrical engineering #Network Security and Intrusion Detection #Security and Verification in Computing #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
   2024/03/13 by Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Constrained LTL Specification Learning from Examples
   2024/12/03 by Zhang, Changjian, Kapoor, Parv, Dardik, Ian +4 · 1 citation
   #D.2.1 #D.2.2 #D.2.4 #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)