J. Tanner Slagel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Inverse Problems

Top Venues

Publications

Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz
A Temporal Differential Dynamic Logic Formal Embedding. CPP (2024)
J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo
A Formal Verification Framework for Runtime Assurance. NFM (2024)
J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle
Embedding Differential Dynamic Logic in PVS. CoRR (2024)
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI (2022)
J. Tanner Slagel, Lauren White, Aaron Dutle
Formal verification of semi-algebraic sets and real analytic functions. CPP (2021)
Julianne Chung, Matthias Chung, J. Tanner Slagel
Iterative Sampled Methods for Massive and Separable Nonlinear Inverse Problems. SSVM (2019)
Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio
Sampled Limited Memory Methods for Massive Linear Inverse Problems. CoRR (2019)
Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio
Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems. CoRR (2017)