1
Publications
17
Citations
1
H-Index
2020
Active since
Affiliations
Ritwika Ghosh is an author at University of Illinois Urbana-Champaign specializing in system software, formal specification, and robotic systems.
Top concepts
RoboticsEngineeringVerificationRobot SystemsFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSignal ProcessingSoftware Analysis
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1