Techniques for Symbol Grounding with SATNet. - Sever Topan; David Rolnick; Xujie Si (NeurIPS, 2021)

Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation. - Sever Topan; Karen Leung; Yuxiao Chen 008; Pritish Tupekar; Edward Schmerling; Jonas Nilsson 001; Michael Cox; Marco Pavone 001 (IV, 2022)

Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition. - Sever Topan; Yuxiao Chen 008; Edward Schmerling; Karen Leung; Jonas Nilsson 001; Michael Cox; Marco Pavone 001 (IV, 2023)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators. - Kaustav Chakraborty; Zeyuan Feng; Sushant Veer; Apoorva Sharma; Wenhao Ding; Sever Topan; Boris Ivanovic; Marco Pavone 001; Somil Bansal (CoRR, 2025)