| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Talks are 12min (timing strictly enforced!). At the end of each session, we have a 12 minute panel for questions with all 4 speakers. | |||||||||||||||||||||||||
2 | Please upload slides by Friday May 1st to shared Google drive (link in email) | |||||||||||||||||||||||||
3 | Time | Title | First Name | Last Name | Institution | |||||||||||||||||||||
4 | 9:15 | STL-Guided Reward Learning with Neurosymbolic Interpretability for Safe CPS | Aniruddh | Puranic | University of Maryland - College Park | |||||||||||||||||||||
5 | 9:27 | When is cumulative dose response monotonic? Analysis of incoherent feedforward motifs | Mohammad Kamalul | Wafi | Northeastern University | |||||||||||||||||||||
6 | 9:39 | Grid-Forming Control with Assignable Voltage Regulation Guarantees and Safety Critical Current Limiting | Bhathiya | Rathnayake | Johns Hopkins University | |||||||||||||||||||||
7 | 9:51 | Learning Adaptive Control Barrier Functions for Feasible Signal Temporal Logic Enforcement | Shuo | Liu | Boston University | |||||||||||||||||||||
8 | 10:03 | Panel discussion with all 4 speakers | ||||||||||||||||||||||||
9 | 10:15 | Session ends | ||||||||||||||||||||||||
10 | ||||||||||||||||||||||||||
11 | 11:15 | Robust Peak-cost Constrained Reinforcement Learning | Shilpa | Mukhopadhyay | New Jersey Institute of Technology | |||||||||||||||||||||
12 | 11:27 | Physics-Informed Learning of Feedback-Linearizing Representations | David | Snyder | University of Pennsylvania | |||||||||||||||||||||
13 | 11:39 | Physics-informed learning under mixing: How physical knowledge speeds up learning | Leonardo Felipe | Toso | Columbia University | |||||||||||||||||||||
14 | 11:51 | Two-Layer Linear Auto-Regressive Models Estimate Latent States | Yahya | Sattar | Cornell University | |||||||||||||||||||||
15 | 12:03 | Panel discussion with all 4 speakers | ||||||||||||||||||||||||
16 | 12:15 | Session ends | ||||||||||||||||||||||||
17 | ||||||||||||||||||||||||||
18 | 2:00 | Solving Black-box Optimizations with Generative Models | Yang | Hu | Harvard University | |||||||||||||||||||||
19 | 2:12 | Learning to Optimize and Its Applications in Control | Viet-Anh | Le | University of Pennsylvania | |||||||||||||||||||||
20 | 2:24 | From Fast to Execution-Time-Certified MPC Algorithms | Liang | Wu | Johns Hopkins University | |||||||||||||||||||||
21 | 2:36 | Reliable Evaluation for the Next Generation of Robotics | Apurva | Badithela | Princeton University | |||||||||||||||||||||
22 | 2:48 | Panel discussion with all 4 speakers | ||||||||||||||||||||||||
23 | 3:00 | Session ends | ||||||||||||||||||||||||
24 | ||||||||||||||||||||||||||
25 | 4:00 | Decentralized Autonomous Traffic Management through Corridor Networks | Jasmine Jerry | Aloor | Massachusetts Institute of Technology | |||||||||||||||||||||
26 | 4:12 | Delivery with a mission: Cooperative Detour Planning for Dual-Task Drone Fleets | Pengbo | Zhu | Cornell University | |||||||||||||||||||||
27 | 4:24 | Multi-Agent Opinion Dynamics on the Circle with Distributed Inputs | Giovanna | Amorim | Princeton University | |||||||||||||||||||||
28 | 4:36 | A Prudent Framework for Understanding Risk-Awareness in Demand Response | Liudong | Chen | Columbia University | |||||||||||||||||||||
29 | 4:48 | Panel discussion with all 4 speakers | ||||||||||||||||||||||||
30 | 5:00 | Session ends | ||||||||||||||||||||||||
31 | ||||||||||||||||||||||||||
32 | ||||||||||||||||||||||||||
33 | ||||||||||||||||||||||||||
34 | ||||||||||||||||||||||||||
35 | ||||||||||||||||||||||||||
36 | ||||||||||||||||||||||||||
37 | ||||||||||||||||||||||||||
38 | ||||||||||||||||||||||||||
39 | ||||||||||||||||||||||||||
40 | ||||||||||||||||||||||||||
41 | ||||||||||||||||||||||||||
42 | ||||||||||||||||||||||||||
43 | ||||||||||||||||||||||||||
44 | ||||||||||||||||||||||||||
45 | ||||||||||||||||||||||||||
46 | ||||||||||||||||||||||||||
47 | ||||||||||||||||||||||||||
48 | ||||||||||||||||||||||||||
49 | ||||||||||||||||||||||||||
50 | ||||||||||||||||||||||||||
51 | ||||||||||||||||||||||||||
52 | ||||||||||||||||||||||||||
53 | ||||||||||||||||||||||||||
54 | ||||||||||||||||||||||||||
55 | ||||||||||||||||||||||||||
56 | ||||||||||||||||||||||||||
57 | ||||||||||||||||||||||||||
58 | ||||||||||||||||||||||||||
59 | ||||||||||||||||||||||||||
60 | ||||||||||||||||||||||||||
61 | ||||||||||||||||||||||||||
62 | ||||||||||||||||||||||||||
63 | ||||||||||||||||||||||||||
64 | ||||||||||||||||||||||||||
65 | ||||||||||||||||||||||||||
66 | ||||||||||||||||||||||||||
67 | ||||||||||||||||||||||||||
68 | ||||||||||||||||||||||||||
69 | ||||||||||||||||||||||||||
70 | ||||||||||||||||||||||||||
71 | ||||||||||||||||||||||||||
72 | ||||||||||||||||||||||||||
73 | ||||||||||||||||||||||||||
74 | ||||||||||||||||||||||||||
75 | ||||||||||||||||||||||||||
76 | ||||||||||||||||||||||||||
77 | ||||||||||||||||||||||||||
78 | ||||||||||||||||||||||||||
79 | ||||||||||||||||||||||||||
80 | ||||||||||||||||||||||||||
81 | ||||||||||||||||||||||||||
82 | ||||||||||||||||||||||||||
83 | ||||||||||||||||||||||||||
84 | ||||||||||||||||||||||||||
85 | ||||||||||||||||||||||||||
86 | ||||||||||||||||||||||||||
87 | ||||||||||||||||||||||||||
88 | ||||||||||||||||||||||||||
89 | ||||||||||||||||||||||||||
90 | ||||||||||||||||||||||||||
91 | ||||||||||||||||||||||||||
92 | ||||||||||||||||||||||||||
93 | ||||||||||||||||||||||||||
94 | ||||||||||||||||||||||||||
95 | ||||||||||||||||||||||||||
96 | ||||||||||||||||||||||||||
97 | ||||||||||||||||||||||||||
98 | ||||||||||||||||||||||||||
99 | ||||||||||||||||||||||||||
100 | ||||||||||||||||||||||||||