SPLASH 2020 (series) / Rupak Majumdar
![Rupak Majumdar](https://2020.splashcon.org/getProfileImage/rupakmajumdar/30fa578b-da94-4f68-882d-3e183a5af4d6/small.jpg?1711459886000)
Registered user since Thu 2 Apr 2015
Contributions
2020
SPLASH
- Multiparty Motion Coordination: From Choreographies to Robotics Programs
- Interactive Synthesis of Temporal Specifications from Examples and Natural Language
- Interactive Synthesis of Temporal Specifications from Examples and Natural Language
- Testing Consensus Implementations using Communication Closure
- Multiparty Motion Coordination: From Choreographies to Robotics Programs
SPLASH 2020-profile
View general profile
View general profile