International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time | Topic | Authors |
11:00 | Models for Shielded Reinforcement Learning | Bettina Konighofer |
11:30 | Systematic Translation from Natural Language Robot Task Descriptions to STL | Jyo Deshmukh |
12:00 | Closing |