NSV PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120E
Chair:
Location: Ullmann 308
| 09:00 | Recent advances for hybrid systems verification with HyPro (abstract) |
| 10:00 | MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types (abstract) PRESENTER: Kristin Y. Rozier |
10:30-11:00Coffee Break
11:00-12:30 Session 125I
Chair:
Location: Ullmann 308
| 11:00 | Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments (abstract) |
| 12:00 | Verified Numerical Methods for Ordinary Differential Equations (abstract) PRESENTER: Ariel Kellison |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 127I
Chair:
Location: Ullmann 308
| 14:00 | Motion planning with temporal logic constraints and preferences (abstract) |
| 15:00 | Neural Network Precision Tuning Using Stochastic Arithmetic (abstract)  PRESENTER: Quentin Ferro |
15:30-16:00Coffee Break
16:00-17:00 Session 131G
Chair:
Location: Ullmann 308
| 16:00 | Adversarial Testing and Repair for Neural Network based Control Systems using Optimization (abstract) |
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event