Lauren White

Publication Activity (10 Years)

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

Top Topics

Reasoning About Actions

Temporal Databases

Formal Verification

Imperative Programs

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, 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)
Nikolaus Correll, Nikos Aréchiga, Adrienne Bolger, Mario Bollini, Ben Charrow, Adam Clayton, Felipe Dominguez, Kenneth Donahue, Samuel Dyar, Luke Johnson, Huan Liu, Alexander Patrikalakis, Timothy Robertson, Jeremy Smith, Daniel E. Soltero, Melissa Tanner, Lauren White, Daniela Rus
Indoor robot gardening: design and implementation. Intell. Serv. Robotics 3 (4) (2010)
Adrienne Bolger, Matthew Faulkner, David Stein, Lauren White, Seung-kook Yun, Daniela Rus
Experiments in decentralized robot construction with tool delivery and assembly robots. IROS (2010)
Nikolaus Correll, Nikos Aréchiga, Adrienne Bolger, Mario Bollini, Benjamin Charrow, Adam Clayton, Felipe Dominguez, Kenneth Donahue, Samuel Dyar, Luke Johnson, Huan Liu, Alexander Patrikalakis, Timothy Robertson, Jeremy Smith, Daniel E. Soltero, Melissa Tanner, Lauren White, Daniela Rus
Building a distributed robot garden. IROS (2009)