|
S
Sun
|
M
Mon
|
T
Tue
|
W
Wed
|
T
Thu
|
F
Fri
|
S
Sat
|
|---|---|---|---|---|---|---|
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
1 event,
-
Presentation Abstract: Faced with unlabeled data in deployment that is sampled from a different distribution than that which generated the training data, all bets are off. Moreover, while numerous heuristics have been proposed for this vague setting, it remains unclear when any among them are applicable. One way to render these problems identifiable is to […] |
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
1 event,
-
Presentation Abstract: Designing autonomous systems that are simultaneously high-performing, adaptive, and provably safe remains an open problem. In this talk, we will argue that in order to meet this goal, new theoretical and algorithmic tools are needed that blend the stability, robustness, and safety guarantees of robust control with the flexibility, adaptability, and performance of […] |
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
1 event,
-
Presentation Abstract: Huge strides have made in the widespread adoption of autonomous and human-in-the-loop cyber-physical systems (CPS), partly fueled by dramatic improvements in learning-based techniques. An important aspect of such CPS applications is that they are safety-critical: any undesirable behavior by such systems can cause serious harm to human lives or property. The formal methods […] |
1 event,
-
Many cryptographic protocols will be rendered insecure if sufficiently powerful quantum computers are built. While this remains at least a few decades away, there is another, more immediate, problem: many widely-used security analysis techniques rely on properties of classical information that do not hold in the quantum setting, rendering the security of many schemes unclear […] |
0 events,
|
0 events,
|
