Login / Signup
Tim Meywerk
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Plan Recognition
Robotic Agents
Formal Verification
Cognitive Tasks
Top Venues
ICAART (2)
MED
ISoLA (3)
DSD
</>
Publications
</>