Explore projects

Incremental Processing Architecture for Artificial Conversational Agents

The Startup Shutdown Synchronization Protocol (SSSP) defines a standard for synchronous, real-time capable startup, operation and shutdown on distributed systems, while keeping complexity minimal.

Reproducibility Evaluation of NeurIPS 2019 Paper "Composable Specification Language for ReinforcementLearning Tasks" by Kishor Jothimurugan, Rajeev Alur and Osber Bastani. Contains the results of our executed test runs and a jupyter notebook for viz.