logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Dilian Gurov

royal institute of technology

15H-index
110Paper Count
701Citation Count
Published Papers 2
Publication Date
logo
Machine-Checked Compositional Specification and Proofs for Embedded Systems
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errPalmskog, Karl; Nyberg, Mattias; Gurov, Dilian
errShare
errSave
Knowledge-based strategies for multi-agent teams playing against Nature
errartificial intelligence review
IF4.6
err2022-08-01
err2
errOAAI
errGurov, Dilian; Goranko, Valentin; Lundberg, Edvin
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
V
Valentin Goranko
H-index: 29 · Papers: 206
M
Mattias Nyberg
H-index: 24 · Papers: 181
K
Karl Palmskog
H-index: 8 · Papers: 49
E
Edvin Lundberg
H-index: 1 · Papers: 5
All loaded