Formal Synthesis of Uncertainty Reduction Controllers.

Marc Carwehl, Calum Imrie, Thomas Vogel, Genana Nunes Rodrigues, Radu Calinescu, Lars Grunske

Browse the full SEAMS paper archive.