ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

To Sense or Not to Sense: Cost-Aware Uncertainty Reduction with Parley

Time: Sunday, 25.10

Room: Room 2

Authors: Marc Carwehl, Eik Reichmann, Thomas Vogel, Lars Grunske