Tim Soethout

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 6

Top Topics

Correctness Criterion

Concurrent Execution

Multi Agent Coordination

Top Venues

SPLASH (Companion Volume)

Publications