Abstract
Interactive Planning-Based Hypothesis Generation with LTS++ / 4268
Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh
We present LTS++, an interactive development environment for planning-based hypothesis generation in applications with unreliable observations.