AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Session

FMIAI Session 6 • Monday, 3.11

Room: Room B
TimeTopicAuthors
11:00Two Hybrid AI Case Studies for VoxLogicA2Vincenzo Ciancia
11:20Safe Symbolic Reinforcement Learning in Hybrid Systems using Contracts (Extended Abstract)Julius Adelt
11:40Challenges for SMC-Based Learning in (Stochastic) Hybrid ModelsLisa Willemsen
12:00On Methods for Partial and Distributed Information in Strategies for Real SystemsCarlos E. Budde