Manganaris, Anastasios

2 publications

TMLR 2026 Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions Anastasios Manganaris, Vittorio Giammarino, Ahmed H Qureshi, Suresh Jagannathan

NeurIPS 2025 Automaton Constrained Q-Learning Anastasios Manganaris, Vittorio Giammarino, Ahmed H Qureshi