FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Mon 7 Apr 2025 17:00 - 17:30 - Conference session 4  Chair(s): Mieke Massink

Mon 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Conference session 4 Research Papers
Chair(s): Mieke Massink CNR-ISTI Pisa, Italy
16:00
30m
Research paper
Shielded Online Reinforcement Learning for Stormwater Detention PondsBest Paper Award
Research Papers
Esther Hahyeon Kim Aalborg University, Martijn Goorden , Kim Larsen Aalborg University, Thomas Dyhre Nielsen Aalborg University
16:30
30m
Research paper
Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning
Research Papers
Negar Kashef University of Tehran, Fatemeh Ghassemi University of Tehran
17:00
30m
Research paper
Automatic Generation of Loop Invariants in Dafny with Large Language Models
Research Papers
João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Emanuel Trigo Faculty of Engineering, University of Porto, Portugal, Rui Abreu Faculty of Engineering of the University of Porto, Portugal
:
:
:
: