Lauren White

According to our database, Lauren White authored at least 6 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Temporal Differential Dynamic Logic Formal Embedding.

Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel, Lauren White, Aaron Dutle

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2010

Indoor robot gardening: design and implementation.

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

Intell. Serv. Robotics, 2010

Experiments in decentralized robot construction with tool delivery and assembly robots.

Adrienne Bolger, Matthew Faulkner, David Stein, Lauren White, Seung-kook Yun, Daniela Rus

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2009

Building a distributed robot garden.

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

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009