Login / Signup
Leo Baldus
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Automated Verification
Finite State Machines
Computation Tree Logic
Top Venues
OVERLAY@GandALF
</>
Publications
</>
Jannik Dunkelau
,
Leo Baldus
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
OVERLAY@GandALF
(2021)