Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees

Search results

• Active

  iBOF/21/027: DESCARTES - infectious DisEaSe eConomics and Ai with guaRanTEeS

  Nowe, A., Hens, N. & Beutels, P.

  1/01/21 → 31/12/24

  Project: Fundamental

  • Markov processes 100%
  • Reinforcement learning 90%
  • Distillation 73%
  • Economics 27%
  • Formal verification 24%

• VLAAI1: Subsidie: Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen

  Nowe, A. & Vanderborght, B.

  1/07/19 → 31/12/24

  Project: Applied

  • Reinforcement learning 100%
  • Air quality 27%
  • Semantics 27%
  • Deep learning 26%
  • Decision making 24%