Leo Ardon

1. FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
   2024/12/31 by Leo Ardon, Ardon, Leo, Daniel Furelos-Blanco +5 · 3 citations
   Computer Science · #Formal Methods in Verification
2. ADAGE: A generic two-layer framework for adaptive agent based modelling
   2025/01/16 by Benjamin Patrick Evans, Evans, Benjamin Patrick, Sihan Zeng +5 · 3 citations
   Computer Science · #Multi-Agent Systems and Negotiation