https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-10-01 00:00:002007-10-01 00:00:00From structured english to robot motion
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-10-01 00:00:002024-05-02 08:03:18Robust sampling for MITL specifications
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-08-30 00:00:002024-05-02 15:45:37A framework for worst-case and stochastic safety verification using barrier certificates
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-08-29 00:00:002024-05-02 15:46:04Potential fields for maintaining connectivity of mobile networks
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-08-01 00:00:002024-05-02 15:46:33Approximate bisimulation relations for constrained linear systems
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-07-30 00:00:002007-07-30 00:00:00Dynamic assignment in distributed motion planning with local information
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-07-29 00:00:002007-07-29 00:00:00Controlling biological systems : the lactose regulation systems of Escherichia Coli
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-07-01 00:00:002007-07-01 00:00:00Dynamic coverage using receeding horizon control
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-05-30 00:00:002024-05-02 15:47:02Approximation metrics for discrete and continuous systems (George S
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2007-05-01 00:00:002024-05-02 15:47:42Flocking in fixed and switching networks
