Ana María Gómez-Ruiz

According to our database, Ana María Gómez-Ruiz authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics.

Ana María Gómez-Ruiz, Thao Dang, Alexandre Donzé

CoRR, April, 2026

2025

RLRom: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic.

Ana María Gómez-Ruiz, Alexandre Donzé, Thao Dang

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025