All Stories

  1. Formal Synthesis of Uncertainty Reduction Controllers

    Article • April 2024, ACM (Association for Computing Machinery)

    Marc Carwehl