2 citations · 2 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
LTL Verification of Memoryful Neural Agents
Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
We present a framework for verifying Memoryful Neural Multi-Agent Systems (MN-MAS) against full Linear Temporal Logic (LTL) specifications. In MN-MAS, agents interact with a non-de…
cs.LG2025
Certified Guidance for Planning with Deep Generative Models
Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti +1
Deep generative models, such as generative adversarial networks and diffusion models, have recently emerged as powerful tools for planning tasks and behavior synthesis in autonomou…