Ritwika Ghosh

According to our database, Ritwika Ghosh authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Separation of distributed coordination and control for programming reliable robotics

Ritwika Ghosh

PhD thesis, 2020

Koord: a language for programming and verifying distributed robotics application.

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

Proc. ACM Program. Lang., 2020

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.

Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2018

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].

Ritwika Ghosh, Sasa Misailovic, Sayan Mitra

Proceedings of the 2018 Workshop on Advanced Tools, 2018

2015

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms.

Ritwika Ghosh, Sayan Mitra

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015