International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | DAGP: A Robust Decentralized Optimization Algorithm with Provable Speed of Convergence | Ashkan Panahi |
| 15:00 | Achieving Safe Stabilization using Deep Learning | Chiranjib Bhattacharyya |
| 15:30 | Monitoring Safety and Reliability of Underwater Robots: A Case Study | Mahsa Varshosaz |