TraceHub - A platform to bridge the gap between state-of-the-art time-series analytics and datasetsShubham AgarwalChristian Muiseet al.2020AAAI 2020
Mai: An intelligent model acquisition interface for interactive specification of dialogue agentsTathagata ChakrabortiChristian Muiseet al.2019AAAI 2019
Bayesian inference of linear temporal logic specifications for contrastive explanationsJoseph KimChristian Muiseet al.2019IJCAI 2019