WEDNESDAY October 16, 1:30pm - 3:00pm | KC 905/907
EVENT TYPE: REGULAR SESSION
SESSION EM8C
Neural Networks and Safe Autonomy
Chair:
Susmit Jha - SRI
The session focuses on papers that specify, verify and learn safe autonomous systems.
| 8C.1 | Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control | |
| Speaker: | Dung Tran - Vanderbilt Univ. |
|
| Authors: | Dung Tran - Vanderbilt Univ. Feiyang Cei - Vanderbilt Univ. Manzanas Lopez Diego - Vanderbilt Univ. Patrick Musau - Vanderbilt Univ. Taylor T Johnson - Vanderbilt Univ. Xenofon Koutsoukos - Vanderbilt Univ. |
|
| 8C.2 | ReachNN: Reachability Analysis of Neural-Network Controlled Systems | |
| Speaker: | Chao Huang - Northwestern Univ. |
|
| Authors: | Chao Huang - Northwestern Univ. Jiameng Fan - Boston Univ. Wenchao Li - Boston Univ. Xin Chen - Univ. of Dayton Qi Zhu - Northwestern Univ. |
|
| 8C.3 | Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach | |
| Speaker: | Shakiba Yaghoubi - Arizona State Univ. |
|
| Authors: | Shakiba Yaghoubi - Arizona State Univ. Georgios Fainekos - Arizona State Univ. |
|