research
∙
05/26/2023
STL: Surprisingly Tricky Logic (for System Validation)
Much of the recent work developing formal methods techniques to specify ...
share
research
∙
08/25/2021
Maneuver Identification Challenge
AI algorithms that identify maneuvers from trajectory data could play an...
research
∙
07/15/2021
Evaluation of Human-AI Teams for Learned and Rule-Based Agents in Hanabi
Deep reinforcement learning has generated superhuman AI in competitive g...
research
∙
07/23/2019