Ivaylo Valkov

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Temporally Extended Goals

Group Membership

Computation Tree Logic

Top Venues

Publications

Alice Miller, Matthew Barr, William Kavanagh, Ivaylo Valkov, Helen C. Purchase
Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes. Symmetry 13 (1) (2021)
Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov
Simulation and Model Checking for Close to Realtime Overtaking Planning. FMAS (2021)