Concepedia

Pavithra Prabhakar

PP

Statistics

Publications

24

Citations

457

H-Index

14

Active since

2006

Affiliations

IMDEA Software Institute(Current)

Madrid Institute for Advanced Studies

Kansas State University

University of Illinois Urbana-Champaign

California Institute of Technology

Pavithra Prabhakar is an author at IMDEA Software Institute specializing in computer science, computing, and dynamical systems.

Publications per year

2006–2023

24

Publications

24

On the expressiveness of MTL in the pointwise and continuous semantics

Deepak D’Souza, Pavithra Prabhakar · International Journal on Software Tools for Technology Transfer · 2006 · 59 citations

Language Studies, Computer Science, Mathematics +10

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems

Necmiye Özay, Jun Liu, Pavithra Prabhakar et al. · 2013 · 38 citations

Engineering, Computer Science, Systems Engineering +17

A dynamic algorithm for approximate flow computations

Pavithra Prabhakar, Mahesh Viswanathan · 2011 · 35 citations

Computing, Computer Science, Mathematics +11

Patching task-level robot controllers based on a local &#x03BC;-calculus formula

Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose et al. · 2013 · 32 citations

Engineering, Computer Science, Robotics Engineering +6

Pre-orders for reasoning about stability

Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan · 2012 · 24 citations

Computing, Computer Science, Formal Methods +12

1–5 of 24