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

Original language	English
Publication status	Published - 7 Nov 2022
Event	BNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and Machine Learning - Lamot Mechelen, Belgium Duration: 7 Nov 2022 → 9 Nov 2022 https://bnaic2022.uantwerpen.be/

Conference

Conference	BNAIC/BeNeLearn 2022
Abbreviated title	BNAIC/BeNeLearn 2022
Country/Territory	Belgium
City	Lamot Mechelen
Period	7/11/22 → 9/11/22
Internet address	https://bnaic2022.uantwerpen.be/

Keywords

• Reinforcement Learning
• Formal Methods
• Representation Learning

Access to Document

• posterLicence: CC BY-SA

Projects

• 2 Active

Projects per year

• 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

  • Reinforcement learning 100%
  • Markov processes 95%
  • Distillation 95%
  • Economics 39%
  • Formal verification 35%

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

  Nowe, A. & Vanderborght, B.

  1/07/19 → 31/12/23

  Project: Applied

  • Reinforcement learning 100%
  • Semantics 25%
  • Learning algorithms 22%
  • Decision making 22%
  • Markov processes 18%

Activities

• 1 Participation in conference
• 1 Talk or presentation at a conference

Activities per year

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

  Florent Delgrange (Speaker), Ann Nowe (Contributor) & Guillermo A. Pérez (Contributor)

  7 Nov 2022 → 9 Nov 2022

  Activity: Talk or presentation › Talk or presentation at a conference

  File

• BNAIC/BeNeLearn 2022

  Florent Delgrange (Participant)

  7 Nov 2022

  Activity: Participating in or organising an event › Participation in conference

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Delgrange, F., Nowe, A., & Pérez, G. A. (2022). Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. Poster session presented at BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium.

Delgrange, Florent ; Nowe, Ann ; Pérez, Guillermo A. / Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. Poster session presented at BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium.

@conference{b4104211430a4856ab76fd4ca868aa8d,

title = "Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees",

keywords = "Reinforcement Learning, Formal Methods, Representation Learning",

author = "Florent Delgrange and Ann Nowe and P{\'e}rez, {Guillermo A.}",

year = "2022",

month = nov,

day = "7",

language = "English",

note = "BNAIC/BeNeLearn 2022 : Joint International Scientific Conferences on AI and Machine Learning, BNAIC/BeNeLearn 2022 ; Conference date: 07-11-2022 Through 09-11-2022",

url = "https://bnaic2022.uantwerpen.be/",

}

Delgrange, F, Nowe, A & Pérez, GA 2022, 'Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees', BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium, 7/11/22 - 9/11/22.

Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. / Delgrange, Florent; Nowe, Ann; Pérez, Guillermo A.

2022. Poster session presented at BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium.

Research output: Unpublished contribution to conference › Poster

TY - CONF

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

AU - Delgrange, Florent

AU - Nowe, Ann

AU - Pérez, Guillermo A.

PY - 2022/11/7

Y1 - 2022/11/7

KW - Reinforcement Learning

KW - Formal Methods

KW - Representation Learning

M3 - Poster

T2 - BNAIC/BeNeLearn 2022

Y2 - 7 November 2022 through 9 November 2022

ER -

Delgrange F, Nowe A, Pérez GA. Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. 2022. Poster session presented at BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium.