Login / Signup
Valentin Goranko
ORCID
Publication Activity (10 Years)
Years Active: 1985-2023
Publications (10 Years): 51
Top Topics
Model Checking
Temporal Logic
Linearly Ordered
Qualitative Reasoning
Top Venues
CoRR
AAMAS
Auton. Agents Multi Agent Syst.
TIME
</>
Publications
</>