SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Rupak Majumdar
Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name:Rupak Majumdar
Affiliation:MPI-SWS
Personal website:http://www.mpi-sws.org/~rupak

Contributions

SPLASH 2020 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
Show activities from other conferences

SPLASH 2020-profile
View general profile