To beam or not to beam? Beamforming with submodularity-inspired group sparsity. - Tzanis Anevlavis; Jonathan Bunton; Anjaly Parayil; Jemin George; Paulo Tabuada (CDC, 2020)

Why not both? Exact continuous and discrete optimization with submodularity. - Jonathan Bunton; Paulo Tabuada (CDC, 2020)

Rapid Top-Down Synthesis of Large-Scale IoT Networks. - Pradipta Ghosh; Jonathan Bunton; Dimitrios Pylorof; Marcos Augusto M. Vieira; Kevin Chan 001; Ramesh Govindan; Gaurav S. Sukhatme; Paulo Tabuada; Gunjan Verma (ICCCN, 2020)

Split to win: near-optimal sensor network synthesis via path-greedy subproblems. - Jonathan Bunton; Tzanis Anevlavis; Gunjan Verma; Christina Fragouli; Paulo Tabuada (MILCOM, 2021)

Give the problem a lift: solving quadratic programs with combinatorial costs. - Jonathan Bunton; Paulo Tabuada (CDC, 2022)

LiDAR Point Cloud Registration with Formal Guarantees. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (CDC, 2022)

Safety and Stability Guarantees for Control Loops With Deep Learning Perception. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2022)

Joint Continuous and Discrete Model Selection via Submodularity. - Jonathan Bunton; Paulo Tabuada (J. Mach. Learn. Res., 2022)

Sharp Performance Bounds for PASTA. - Matteo Marchi; Jonathan Bunton; Yskandar Gas; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2023)

Synthesis of Large-Scale Instant IoT Networks. - Pradipta Ghosh; Jonathan Bunton; Dimitrios Pylorof; Marcos A. M. Vieira; Kevin Chan 001; Ramesh Govindan; Gaurav S. Sukhatme; Paulo Tabuada; Gunjan Verma (IEEE Trans. Mob. Comput., 2023)

Confidently Incorrect: Nonlinear Observers with Online Error Bounds. - Jonathan Bunton; Paulo Tabuada (ACC, 2024)

A Framework for Time-Varying Optimization via Derivative Estimation. - Matteo Marchi; Jonathan Bunton; João Pedro Silvestre; Paulo Tabuada (ECC, 2024)