Lauren M. White

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Elastic Properties

Top Venues

SIAM J. Appl. Math.

Publications

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)
Anna Y. Zemlyanova, Lauren M. White
An Axisymmetric Problem for a Patch Loaded Material Surface Attached to the Boundary of an Elastic Semi-space. SIAM J. Appl. Math. 83 (2) (2023)