Interactive planning-based hypothesis generation with LTS++

Abstract

We present LTS++, an interactive development environment for planning-based hypothesis generation in applications with unreliable observations.