Sign in
Christoph Schmidl
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Model Checking
Multi Agent Reinforcement Learning
Automated Verification
Finite State
Top Venues
ICAPS
</>
Publications
</>
Dennis Gross
,
Christoph Schmidl
,
Nils Jansen
,
Guillermo A. Pérez
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.
ICAPS
(2023)