2 papers
cs.AI2026
Learning Linear Temporal Specifications from Demonstrations with Uncertainty
Parastou Fahim, Constantino Lagoa, Rômulo Meira-Góes +1
Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains…
eess.SY2025
Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
Parastou Fahim, Samuel Oliveira, Rômulo Meira-Góes
Sensor attacks compromise the reliability of cyber-physical systems (CPSs) by altering sensor outputs with the objective of leading the system to unsafe system states. This paper s…