1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Neuro Symbolic AI for Sequential Decision Making;Neuro Symbolic Reasoning and Learning;2023
3. Model checking strategy-controlled systems in rewriting logic;Automated Software Engineering;2021-12-08
4. Strategies, model checking and branching-time properties in Maude;Journal of Logical and Algebraic Methods in Programming;2021-11
5. Branching-time logics and fairness, revisited;Mathematical Structures in Computer Science;2021-10