Concepedia

Grama R. Srinivasan

GR

Statistics

Publications

1

Citations

45

H-Index

1

Active since

2002

Affiliations

Carnegie Mellon University(Current)

Grama R. Srinivasan is an author at Carnegie Mellon University specializing in verification, automation, and formal methods.

Top concepts

Publications per year

2002–2002

1

Publications

1

Towards automatic verification of autonomous systems

Reid Simmons, Charles Pecheur, Grama R. Srinivasan · 2002 · 45 citations

, , +18

1–1 of 1