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