Search results

| Jose, Alex || Robotics || Scott, Pavithra || Formal verification of patching algorithms for SLAM tasks || | Scott Livingston, Pavithra Prabhakar

* 1:15p - NCS subgroup (Mumu, Pavithra) * 4:00p - Pavithra (45m)

...itching Protocols for Polynomial Switched Systems], Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray. 2013 American Control Conference (ACC) ...bot controllers based on a local μ-calculus formula], Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray. 2013 International Conferenc

* 10:10 am: Nick (Necimye, Ufuk & Pavithra) * 11:10 am: Alex (Scott & Pavithra)

* Co-mentor: Pavithra Prabhakar, Scott Livingston

<tr><td>Pavithra Prabhakar (2011-12)</td></tr>

* Co-mentor: Ufuk Topcu, Necmiye Ozay and Pavithra Prabhakar

* 2:45: Pavithra

* 3:30: Pavithra

* Pavithra (15-20 min)

...or Reasoning about Input-to-State Stability Properties of Hybrid Systems], Pavithra Prabhakar, Jun Liu and Richard M. Murray. Submitted, 2012 Conference on De

* Pavithra (15-20 min)

| authors = Pavithra Prabhakar, Jun Liu, Richard M. Murray

| authors = Pavithra Prabhakar, Jun Liu and Richard M. Murray

| authors = Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray

| authors = Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray

* Pavithra (15-20 min)

| authors = Pavithra Prabhakar, Jun Liu and Richard M. Murray

{{agenda item|2:00p| Pavithra}}

* Pavithra (15-20 min)