ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Session

Session 2 • Monday, 28.10

Room: Room 3
TimeTopicAuthors
11:00DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks
11:30Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development
12:00Next-Gen Car Manufacturing: Optimizing with Deep Reinforcement Learning and Digital Twins